Added note that SharpDoc is used.

Made it clear that SharpDoc is used to generate API docs, so that people will know where to search when they have questions about how to format documentation, etc.