Adds a user interface to change gravity according to different settings (all planets, Moon, Pluto, Sun, zero gravity and reverse gravity) on the fly.

I warn you: the game behaves very strangely at extreme gravity values (see the Sun preset).