use templates for output; add templates for JSON and text
add gt_timer_get_formatted()
add HTML support
adjust colours
add runtime line to text output
add missing fields in JSON
add warnings in text output
remove comments in HTML
add and fix typeconstrained child iterators
simplify code
add output driver for bare runtime stats
cosmetics
fix memory leak in expect()
Merge pull request #415 from satta/speck_out

modularize output of Speck tool, fix memory issues

the missing newline is not really important - we don't have anything in our style guide for that and I don't know if this leads to any problems.