Create easy to install .deb file for deployment on Ubuntu or Debian
Install munin and apache and fine-tune jmx2munin to collect stats for a
(running) TLC model checker (this basically means that jmx2munin is now
custom tailored to TLC)