add mavis to formulas

There is no --version or --help since mavis isn't a tool, it's a framework.