Dockerfile to build documentation with Publican

Publican is an ageing tool that is no longer developed or supported, and
difficult to install under non-Linux-based platforms.

Using a Docker container makes it possible to easily build the MantisBT
documentation without having to install a complex toolchain.

See usage instructions inside the dockerfile.

Fixes 0031993