doc updates for switch to git

Explain how to get the current version from github. It is not
recommended to refer to git revisions inside documents (like the
manual.tex), so I removed it.
update manual.pdf
update gitignore