MP4 export

Now you have the possibility to export a played game as a mp4 video file.
With this method you can share your games with others.