Patch improve makefile debian

Remove use of gpgkeys, clean up old makefile tasks related to jboss/application server etc.