move rpm list to a separate file

Thanks to Sascha for this.  It will enable us to auto-generate the rpm list,
e.g. via Jenkins from ISOs, if we want.