This repository is archived since everything is now included in the gap-docker container https://github.com/gap-system/gap-docker/