added coverage for new proxy options to the
subscription-manager version module