Ceylondoc should use config files for default values #1500