Ajout d'un répertoire tools contenant pg_doc_indent.

AJout également d'un .gitignore