A library to export shapefiles from PostGIS