new options: portal-update --push-apikey/--mirror, dump-datasets/load-datasets --gzip