Implemented setting the file encoding for compiler and doc tools from the config file ("defaults.encoding")