Not all linters are part of documentation system

dockerlinter and shellcheck are not part of the documentation system, and so should not be listed in docs/developer/documentation-system.md file. These should probably be listed in docs/developer/automated-testing.md.