This is a tiny random mt5 model used for testing

See `mt5-make-tiny-model.py` for how it was created.