Initial release for ManiaPlanet 4.1!

• Support for 2018-07-03 build (should speed up ManiaPlanet startup time)
• Added the ability to change the F3 key to something else
• Added LoadDecoration hook to stabilize the big decors plugin
• Added Nadeo Envimix titlepack to Discord Rich Presence
• Openplanet now populates the ExtraTool_Info property, which ManiaScript can use to check for the existance of Openplanet
• Stability improvements

• Lots of stability improvements all over
• Plugins: Added the offzone button to TrackMania map editor
• Plugins: Fixed Big Decors script loading decor sizes at wrong times
• Plugins: Fixed stadium unlock automatically unlocking at wrong times
• Scripting: Updated Angelscript to the current WIP version, see: http://www.angelcode.com/angelscript/wip.php
• Scripting: Added new SetCurChallenge plugin callback function
• Overlay: Fixed some visual glitches

• Added a new Scene Explorer, which replaces the old Scene Inspector script
• Scripts: Added GetFile and GetFolder to CSystemFids
• Scripts: Improved error logging on script exception
• Internal: Lots of refactoring and stability improvements
• Internal: Fixed updates checker not checking properly if game version is not found

Hotfix to fix a crash in the new Fids API that some plugins are using.