Issue #17: Integrate with TravisCI