Add API to modify configuration files and clpmfiles
Currently, those files need to be edited by hand. An issue with exposing an API to do it will likely be dealing with comments in these files. A first version may work only by appending to a file to avoid this complication.