An open source map tool with real-time collaboration