New HTML formatting for results

A new module (tabler.py) formats a list of lists into HTML table using
each sub-list as a key:value pair. Why not a dictionary? Because order
IS important.

Lots of outputs have been changed using Bootstrap tables.