WorkloadManagement System

Pilot configuration, for users of Pilot3

PR https://github.com/DIRACGrid/DIRAC/pull/3837 corrected a few bug fixes to the pilot3 configuration, which now can contain the following options (in addition the those already existing for pilot 2):

Operations
{
  Defaults # or a setup
  {
     Pilot
     {
        pilotFileServer = https://some/server # server where pilot files will be uploaded
        pilotRepo = aGitPilotRepo # if different from DIRAC standard repo on github
        pilotVORepo = aGitPilotRepoForVO # for the VO extension of Pilot
        projectDir = path # if different from DIRAC standard repo on github
        pilotScriptsPath = path # to locate pilot script, if different from DIRAC standard repo
        pilotVOScriptsPath = path # to locate pilot scripts in the pilotVORepo
     }
  }
}