Added Beta 1.7.3 server.properties to disable nether generation.