Retrieve information in the Postgres custom dump header using Python