travis: add minor comments
travis.sh: git clone with https instead of git protocol

Using the git protocol causes “The authenticity of host 'github.com
(192.30.252.128)' can't be established” and requires interactive input
to continue.