Added HINT_EXISTS_TAC.
Merge pull request #111 from aravantv/master

Merge HINT_EXISTS_TAC implementation from Vincent Aravantinos.
Merge remote-tracking branch 'origin/master' into pmatch