Replace the header in `tapioca` so that it doesn't change so often

[mutecipher]

The header in RBI files that tapioca generates is dynamic, and therefore changes too often. We should make it static to avoid unnecessary changes to RBIs.