Reset the tool configurations before Kile can be used
Also rework some previous code for configuration settings updating.