[config] problems when updating config

Moving provers does work as expected. Eg. why3find config -P 3:cvc4 when cvc4 is in first position.