Switch metrics portal to JSP/servlets

The current metrics portal is a mix of static HTML and a few servlets. Especially the servlets have a lot of copied code in them. Replace this mess with a clean JSP/servlet-based design. Kevin is working on this and might have results in June 2010.