Implement Travis CI; kinda tired of having small typos and only noticing it way later