High resolution display

High resolution also modifies the display_rect variable, so that
org.lwjgl.opengl.Display.getWidth() and getHeight() are reporting
accordingly to high resolution sizes.