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
Merge pull request #2 from alex73/master

Polygon filtering