travis: use https github URL to avoid stalling on unknown SSH host.

* .travis.yml: Use an https URL to clone LDoc.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>