Add python header
Fix import when pg_timestamp file doesn't exist
Filter by polygon
Fix case when dump file is not in o5m format