mathlib3

3022cafd - feat(tactic/terminal_goal): determine if other goals depend on the current one (#984)

feat(tactic/terminal_goal): determine if other goals depend on the current one (#984) * feat(tactics): add "terminal_goal" tactic and relatives * fix(test/tactics): renaming test functions to avoid a name collision * fix(tactic): moving terminal_goal to tactic/basic.lean * fix(test/tactics): open tactics * touching a file, to prompt travis to try again * terminal_goal * fix * merge