Fix bugs in deb packaging

md5 files for debs now have the correct timestamp for snapshot versions,
and the package depends on jre-headless virtual packages, not the full
JRE.
Graphite and pool improvements: logging, better defaults.