add gitignore

add gitignore for cabal-dev
`` -> \verb

`` -> \verb
change submodule url

change submodule url