implement docs pipeline changes in ci scripts

These changes implement the plan decided upon in #2 (closed). The docs will be hosted from our webserver with versioning support.

added 2 commits

• 3c3f15cd - 1 commit from branch master
• 054ceac4 - Merge remote-tracking branch 'origin/master' into docs-pipeline-changes

Compare with previous version

@andre.anjos here's the MR

Looks good, @jdiefenbaugh. Please check the discussion above and resolve it. After that, let's merge it and see it working ;-)

resolved all discussions

@andre.anjos resolved!

unmarked as a Work In Progress

@andre.anjos feel free to merge it, whenever you have a couple moments to make sure things aren't catastrophically breaking :)

resolved all discussions

merged

mentioned in commit befe03f6

Ok, I had to modify the whole strategy to get it working, but I think it should be OK now. Most of it was moved into functions.sh and docs.sh is now very simple, using arrays.

There is one potential problem with the current commits: in case a new package is created, the DAV MKDIR command will fail since the directories preceeding the top-level doc directory will not exist. We have to implement it in a way it works recursively, from the root of the DAV upload (i.e. "private-upload" or "public-upload"). Please let me know if that is not clear.