a set of open tools (mostly scripts) for RoboFont