The GAP Small Groups Library
