Random Maps

Finally got around to updating this to add in the feature to play randomly generated maps with a choice of Small, Medium or Large sizes and a choice of Easy Medium and Hard difficulties. Also fixed a couple of bugs here and there and added Zoom In/out and navigation buttons. These features were already there as keyboard shortcuts, but thought making it a bit more visible would be better.