Normalise tabs
MoreCoq.v
Add tactics quick reference to readme