Fix a whole bunch of style in robot_nav.py