Integrate Travis CI; add first testcase