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 global option (-q) to suppress warnings.

Signed-off-by: Anurag Priyam <anurag08priyam@gmail.com>
Merge pull request #416 from yeban/quiet

Add global option (-q) to suppress warnings.
add output driver for bare runtime stats
Preserve line-breaks and alignment in HTML docs.

Signed-off-by: Anurag Priyam <anurag08priyam@gmail.com>
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.
Merge pull request #417 from yeban/html_docs

[RFC] Preserve line-breaks and alignment in HTML docs.

Line length can be addressed elsewhere. This PR does not change it, except for present line breaks. I think preserving these is a nice enhancement.
do not store nodes for all-success aspects
further streamlining and simplification of result reporting