-Codechange: Add Config_Write() function to encode/write dune.cfg
-Codechange: write a default dune.cfg file if it is missing