Add proof-general (from homebrew)