Specify that I can set manually a web server (to customize entirely the internal web server - jetty, tomcat, ... ) via `Pippo.setServer()`.