switch over to testing with cabal and to travis for continuous integration