First semi-final run changes.
Merge branch 'dev-integration' of https://github.com/PalouseRobosub/robosub into dev-integration