A small Ceylon tool to convert javadoc to ceylondoc.