Moved user menu into panel pane to better match the other menu on the site
Added new user sub-menu panel pane to user pages
Added support for user token replacement in user sub-menu pane
Removed dead code
Added static cache to menu generation
Update reservation counters with new constant names
Removed version number from info file as it do not match release
Merge remote-tracking branch 'origin' into release