Merge branch 'navmenu' into 'master'

Refactored the menu code, making it resistant against other extensions that can make this menu disappear.

See merge request extensions/civirules!97