Dear guix,

I was told I could use modify-inputs to add an input to irrlicht-for-
minetest. For convenience, here are all 4 commits again, even if only
the first is changed.

Best regards,

Vivien