master updated (b80461b -> dfab507)

[Ludovic Courtès]

civodul pushed a change to branch master.

    from b80461b  build-log.js: Tweak icon of the phase folding button.
     new 6611151  templates: Improve toggle button on evaluation and spec pages.
     new 286fef2  templates: Move RSS button to the right.
     new 299e95a  templates: Factorize the success rate bar.
     new dfab507  Update NEWS.


Summary of changes:
 NEWS                      | 46 ++++++++++++++++++++++++++++++
 src/cuirass/templates.scm | 72 +++++++++++++++++++++++------------------------
 2 files changed, 82 insertions(+), 36 deletions(-)