Change URL for cmis-tools to https.

...for Travis CI