Add project-wide .gitignore file

* Ignore LaTeX generated files (including *.out so gnatprove.out will be
  ignored!).

* Ignore "dictionary.tex" and "dsr.tex" generated by DSR scripts.

Signed-off-by: David MENTRE <dmentre@linux-france.org>