convert a MySQL dump to a PostgreSQL dump
