To fully automate deployment of documentation pages to codeberg pages a
woodpecker CI file containing the build instruction is made.
This needs to install all of biboumi's dependencies as to work with
cmake, then generate the makefiles, and finally the actual documentation
as HTML.
Once that's done, push everything to a `pages` branch.
