Add travis-ci (fixes #8)