Software repository for Robotic Mining Competition.