Naming conventions for BOB_DOCUMENTATION_SERVER, DOCUSER, DOCPASS and DOCSERVER
It would be good to standardise this accross our build and extension system. In some cases, BOB_DOCUMENTATION_SERVER is used, in some other DOCSERVER. The variables for the user and password don't have any BOB_
prefix.