Fixes #9: Integrate Travis-CI