Modified and tidies up some code about tactics, still to be finished
merge branch 'master' of https://github.com/moajohansson/IsaHipster

 Please enter a commit message to explain why this merge is necessary, especially if it merges an updated upstream into a topic branch.
Refactored code to do with tactics, added nicer Isar command for the induct and simp tactic. Still need to do this for metis tactic.