Robot Detour: Quality of life update #1

So, what do we have here... Finally: now you can undo several times! Even during the level! Keyboard navigation: now you can play with arrows or wasd without ever touching your mouse! Some other quality of life fixes th…