Tools for interactive map conversion and vectorization