New packaging with Tomcat 7 embedded, new Debian package

This patch includes:
- a new packaging based on Tomcat7 embedded.
- A Debian/Ubuntu package