configure_rhel_from_kickstart.py: Re-write in Python of the shell version, now with a menu-driven interface