Configurable random map REST service.

Resource "starmap/random" now handles a JSON POST, which specifies
the desired starmap configuration. This is a quick-n-dirty implementation,
which still needs a lot of love and attention.