added coverage for Bug 1145833 - subscription-manager-migration
should not provide sat5to6 tool

VerifyRpmListForSubscriptionManagerMigrationExcludesSat5to6_Test