Switching to travis-ci for testing