The routerconsole's precompilejsp target failed when using the jetty packages from Debian. These escaped jsp files also work with 'our' jetty6 (and jetty6).
- Nicer profile dump - More efficient profile lookup for display - Fix dumpprofile NPE - Change file suffix from .dat to .txt.gz