Delete robo.py

This is now handled by the RoboFont command line tool.