Added a formula for installing mvnvm, the Maven Version Manager

No as that SHA1 will change over time.