[gandalf] For jenkins build use WORKSPACE as INVICTUS_ROOT and in setenv set INVICTUS_ROOT only if not already defined.