Close #5: Add CI with Travis CI