An OpenLayers frontend for pgmapcss/CGI