Warn against lint docs that do not appear in SUMMARY.md

[Chris Chang]

A test for this would prevent issues like in #513.

Perhaps warning against lints that do not have corresponding docs would be good as well, but would false positive in the case of personal lints.

[boyned//Kampfkarren]

Dupe of #365