Added --encoding options to ceylondoc and the compiler #1086
CeyloncFileManager: default to UTF-8 encoding #1086