menu fixes for the v5.2.0.12

Please note, this should be considered as a workaround.

In  pages/regions/header_menu.py I just put Services.VirtualMachine into Infrastructure. A mess, yes, but it works.

this fixes #115 , #117, #118, #119, #120