Adding .gitignore and a repo doc file

README.git.md contains information about how this repository was
extracted from the commit history of the original titan repository.
This information could be useful if, later on, we were to discover
some discrepancy between the history/contents in this repository and
our expectations.