add mavis to formulas

Yup, so don't use them ;) Check `tinyxml2.rb` for an example of doing something similar with a library.