Theia - master
Folder name: Theia2Theia - master
Note: This separate master job is needed so that the branch name information is made
available from JenkinsFile, permitting to decide there whether to proceed with CI.
i.e. we can't set setting "Filter by name -> include" to match both master and PR
branches, or we lose this ability