Remove old documentation resources.

[jmcc0nn3ll]

trafficstars

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.