Remove Docc plugin which is no longer required.

[PeterAdams-A]

Motivation:

Plugin is no longer required to produce docs. There are now warnings in the plugin when included and it will delay build a small amount.

Modifications:

Remove plugin dependency.

Result:

No dependencies.