Changes the html generator to use argparse and to write the generated html into a file instead of stdout
Adapt generator script to changes in log format, and optimize it some
Add some extra comments to generate.py
Small fixes to auto.py
Adjust usage information
Use o as shorthand of ionmonkey