now using travis-ci (and probably a bit more)