Improve GWT Admin skeleton
Add a Decorator Panel around the Admin navigation panel
Add automatically changing libraries to .gitignore
Restore GetStatsServlet which had accidentaly been removed
Add untested servlet for fetching list of prefixes
More work on admin gwt skeleton