Theia - master

Theia - 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