mtools 1.7.2

Highlights of this release are:

• mlaunch: mlaunch init --help should not require mongod (#894)

To install, run:

pip3 install mtools --upgrade

See Changes to mtools for a full change history.