The source code for the tomcat robot, gui, and related tools