Don't build Idris twice in CI

This is a pretty decent speedup. :) We need cabal register so idris-llvm
can find the Idris library to link against. Otherwise cabal will
helpfully resolve the dependency by downloading Idris from Hackage for
us.