The Digitizer from the MapWarper Project - a vector editor for historical maps