Also add the ability to run benchmarks from the web interface.

With this, the very first version of geppetto is more or less
complete. It just needs a lot of work on the presentation layer.