README: Drop old stuff and point to Docker to build the documents

Installing hotdoc and pandoc by hand is annoying, time-consuming and error-prone.

The backworth-related steps are no longer relevant as we dropped it a long time ago.

Just point people to the container we use on Jenkins.