Bug fixes and new Lab selector

- fixed a multitude of navigation bugs
- added new way to manage software in labs