Ceylondoc: print warning when documentation is on setter #1320