Add NIFSGadgetTrait, implement Mova's NIFSGadget, adapt Nova NIFSGadget into NIFSGadgetTrait #889

Job	Run time
Run examples & examples tests	1m 55s
Rustfmt	28s
Clippy lint checks (basic)	1m 4s
Build target wasm32-unknown-unknown	1m 51s
Build target wasm32-wasi	1m 56s
Clippy lint checks (wasm)	58s
Test (basic)	2m 36s
Spell Check with Typos	4s
	10m 52s

Provide feedback