Update to CMSSW_7_0_0_pre11
Complain when a pull request is not mergeable
Merge remote branch 'origin/master' into check-for-unmergeable-prs