Make tactics more robust to being passed around

Prefixing them with [idtac; ] prevents them from being immediately
invoked when being passed to another tactic.
./autogen.sh