RoboBuntu: A Linux Distribution for Mobile Robotics