add mavis to formulas

Can this test be modified to do something more substantial then e.g. `--version` or `--help`? See `cmake.rb` for an example of a formula with a good test. Thanks!