setup.configure: Replaced all of the config option names with the new path
    names (as used in ivle.conf).
    Still loads from conf.py, using the legacy names. A new dictionary maps
    new names to legacy names, so that we can look them up in the conf.py.