Use Sentry’s Tornado integration for diff server

[Mr0grog]

Sentry’s new SDK finally has a specialized Tornado integration, so we should use it! It requires Python 3.7, though, so this is blocked by #341.

Docs: https://docs.sentry.io/platforms/python/tornado/

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed in seven days if no further activity occurs. If it should not be closed, please comment! Thank you for your contributions.