Ceylondoc: An option to warn about (shared) declarations lacking doc
#1307