Override server fragments

Right now there's no straightforward way to change the content of the generated server.xml header and footer; this patch adds parameters to enable those overrides.