Remove old documentation resources.

[Jesse McConnell]

Jetty version(s)
Jetty 10, 11, 12, 12.1

Enhancement Description
We need to clean up the leftovers from the documentation migration to Antora.

documentation/jetty-asciidoctor-extensions/*
documentation/jetty-documentation/*

The complete removal of these directories should be enough.