Add manifest for buildbot

Buildbot can take only a single custom manifest, so we combine semc.xml & extra.xml here.