Gap – A System for Computational Discrete Algebra