[CEC] Added support for CEC buttons introduced by HDMI 1.4
      - CONTENTS_MENU
      - ROOT_MENU
      - TOP_MENU
      - DVD-MENU
      (Requires at least libcec 2.2.0)
[jenkins] - when trying to determine the branchname of a detached head revision - filter it so only branches from the currently built GITHUB_REPO are used (else we might pick the wrong branchname from another repo which was checked out before and contains the same revision)
Merge pull request #5659 from Memphiz/fixjenkinsremotes

[jenkins] - fix wrong branchnames at times
Merge pull request #5628 from ksooo/cec-hdmi-1-4-buttons
[Cosmetics] reserve window id's for skins