RoboTools, a new umbrella for UFO-related code libraries