Homebrew tap with some formulae specific for MathConsult