Use HTTPS rather than SSH to make TravisCI happy. Maybe. See #35