Bump mocha from 7.1.1 to 7.1.2

Bumps [mocha](https://github.com/mochajs/mocha) from 7.1.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.1.1...v7.1.2)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>

package.json

@@ -55,7 +55,7 @@
     "express-ws": "^4.0.0",
     "glob": "^7.0.5",
     "jsdom": "^16.2.2",
-    "mocha": "^7.1.1",
+    "mocha": "^7.1.2",
     "mustache": "^4.0.1",
     "node-pty": "^0.9.0",
     "nyc": "^15.0.1",