A file listing old svn branches and tags

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@17095 85f007b7-540e-0410-9357-904b9bb8a0f7
A .mailmap file for a nice git-shorlog display

 In particular, this file allows to merge duplicated identities
 of a same person. See man git shortlog for more details.
update .mailmap with my email now that I've used it in a commit
Adding generic solvers to term holes. For now, no resolution mechanism nor
parsing is plugged.
Adding the necessary hooks to handle tactics in terms.
Actually adding the grammar entry to handle tactics in terms.