RIMapperWMS: a Web Map Service providing SVG maps with a built-in client