A Docker Image to run an export of the GAP Library into a JSON file.