Repton Infinity is as much a development tool as it is a game. Its predecessor Repton 3 included a level and graphics editor but Infinity takes it one step further with Reptol, a scripting language...