modularize output of Speck tool

This PR replaces the hard-coded text output of the speck tool with a template-based soution which allows a developer to create output in virtually any format. This is done by making the results available as a Lua data structure (table of tables) which can then be accessed in a Lua-based output driver to create the final output. The output created by the drivers is fed back into the tool's output file, and can hence be compressed, written to a file etc.

For now, I have implemented output drivers for:
- Text (the same format as before, colorized or not)
- JSON
- HTML (self-contained report, example:  https://dl.dropboxusercontent.com/u/18691017/html_example/index.html)