Remove the hack to use a patched Cabal submodule in CI (#650)

Authored by quasicomputational <quasicomputational@gmail.com> on Jul 31 2018, 4:45 PM.