PortalKit: add embedded tomcat