[Bug 1785365] Review Request: gap-pkg-caratinterface - GAP interface to CARAT