Add [symmetry] and [etransitivity] tactic notation

These work with paths.  Now you can just say [symmetry] again.
Merge pull request #151 from JasonGross/symmetry-etransitivity-tactics

Add [symmetry] and [etransitivity] tactic notation