Permanently modify the Minecraft game's (non-fullscreen) window size without having to edit options.txt!
