Exported GeoJSON of CyclePhilly trips from the database. Shapefile can be made from the GeoJSON using ogr2ogr.

Script to do export is here.

(Just plug in connection parameters to server.)