The Red Hat Enterprise Linux Upgrade tool