master updated (18337a7 -> 966505d)

[Ludovic Courtès]

civodul pushed a change to branch master.

    from 18337a7  templates: For new failures, link to a view of the commit 
range.
     new 2ab4df3  templates: Add /build/ID/log, with client-side build log 
highlighting.
     new ba32788  templates: Link to /build/ID/log.
     new 623beb5  remote-server: Tweak error message.
     new 966505d  Update TODO.


Summary of changes:
 Makefile.am                           |   1 +
 TODO                                  |   5 +-
 src/cuirass/http.scm                  |  14 ++++
 src/cuirass/scripts/remote-server.scm |   2 +-
 src/cuirass/templates.scm             |  37 +++++++--
 src/static/js/build-log.js            | 141 ++++++++++++++++++++++++++++++++++
 6 files changed, 190 insertions(+), 10 deletions(-)
 create mode 100644 src/static/js/build-log.js