Python scripts for RoboFont