Add an option to print binary RPMs that are on LiveCD and correspond to printed SRPMs