Allow for multiple documentation server locations

André Anjosrequested to merge
bash_array_docserver into master

Allows optimisation of nightly builds to depend less on access to the documentation of packages that were just built.

Merge request reports