Bumps [mocha](https://github.com/mochajs/mocha) from 7.0.1 to 7.1.2.
- [Release notes](https://github.com/mochajs/mocha/releases)
- [Changelog](https://github.com/mochajs/mocha/blob/master/CHANGELOG.md)
- [Commits](https://github.com/mochajs/mocha/compare/v7.0.1...v7.1.2)
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>