Update mathsat to 5.2.12.
Add an option to install python bindings for Boolector.
Remove Proof General which is included in the main Homebrew repository.