Update path to github so that it works

This unbreaks the copying of files from github in the absence of
autoreconf.
Don't add files to git index; make travis check

Now, travis will (hopefully) actually try to build this without
autoreconf.  Also, ./autogen.sh no longer adds files to the index.

Conflicts:

	etc/ci/install_coq.sh