Move the cabal submodule to the galois fork