Removing unused tactics
Merge branch 'trunk' of https://github.com/c-corn/corn into trunk