Small python script to help migrating geoserver workspaces