Use travis ci

Enabled Travis CI and add a badge!