pushed though changes to set tactic
cleaned up example file
Refactoring
create makefile makes a new makefile for all .v files in the directory
moved symexe/tactic things out of reify_examples
reify_examples only contains examples/tests now