First stab at supporting multiple coqs

The argument is --passing-coqc
Update .gitignore