use cabal-apt-install to speed up travis and use --force
Merge branch 'master' of github.com:ermine-language/ermine
Merge branch 'master' of github.com:ermine-language/ermine into portable-core-nums