progress
progress
Should be fixed
Merge branch 'resource' of github.com:maximedenes/native-coq into resource

Conflicts:
	kernel/resource.ml
	kernel/resource.mli
merge and link with resource