Making documentation into a plugin.

Closes #416