Cloud Migration: Add command line option to pager to manually set version number

This is something that has been requested in the past for various (mostly scenario) use cases. It will also help with the cloud use case, where PAGER will no longer be responsible for knowing the current version number, as results will be stored in S3 instead.