main: small menu to choose from 3 different maps.

It's possible to add new maps in the maps/ folder (look at the others one
for examples). You will then need to add it in the index.html's menu.