Split_postgres_dump

Split a Postgres dump file into pre-data and post-data sections

This project is closed and no longer needed, as pg_dump can now do the same thing via the --section=pre-data and --section=post-data flags.