Revert to stable SharpFont version 2.5.0.1
Revert to SharpFont 2.5.0.1 for Linux and OSX, too
Make production type hotkeys configurable.
Use travis_retry to reduce the nuget timeout errors.
Merge pull request #7216 from pchote/travis-retry

Use travis_retry to reduce the nuget timeout errors.
Merge pull request #7212 from reaperrr/stable-sharp-dep

Revert to stable SharpFont version 2.5.0.1
Merge pull request #7215 from pchote/production-hotkeys

Make production type hotkeys configurable.