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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information