travis: enable travis-ci integration
travis: add build status badge to README
Merge pull request #192 from frenetic-lang/travis

Travis-CI integration