cleanup in INSTALL.py
merge of navigation wit hector_port