[coreboot] Document shared with you: "Proposal: Buildbot as a replacement for Jenkins"