MongoDB tools for storing and analysing runs of ROS systems.