Tutch proof checker formula

2 commits that add the tutch proof checker (http://www2.tcs.ifi.lmu.de/~abel/tutch/) to homebrew.