Rename tactics
Add .gitignore for compiled files
Equivalence of configurations

The current [iter] relation is too strong. It is not always possible to
prove equality between the states.
Tactic to make equivalence of states proofs easier
Small proof showcasing [state_reflexivity]
More tactics and examples

bf_reflexivity will try to solve goals of the form

    (c, s) ≡ (c', s')