pyramid: Add back Trebuchet

Launcher3 was removed from the default manifest, so I'm assuming that Trebuchet is stable now.