Toothy Dolphin

Every new release has a few toothing issues. This update fixes some of them!

Changelog:

• Eliminated a call to the Discord REST API when messages are received from Minecraft
• Replace ugly Discord mentions with names in messages to Minecraft
• Escape double quote characters in messages to Minecraft
• Fix a bad value in the default configuration