Fixes #138: Add TravisCI configuration