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

Job	Run time
Clippy lint checks (basic)	2m 28s
Build target wasm32-unknown-unknown	3m 31s
Clippy lint checks (wasm)	48s
Rustfmt	20s
Build target wasm32-wasi	3m 30s
Run examples & examples tests	3m 39s
Test (basic)	10m 8s
Spell Check with Typos	4s
	24m 28s

Provide feedback