Add cabal binaries to emacs path and add mode for CPSA