Remove tutorial from idris.cabal