Add sally to our Homebrew Tap

[ianamason]

Title says it all really.

[dddejan]

So I was thinking about packaging but it doesn't make too much sense without being able to include mathsat5 because licencing issues.