A simple/dumb python script to convert a wkt polygon in a file to a shapefile