Simple scripts for getting files from RPKI repositories.