Fixes in inductiveops, evarutil.
Merge ../../coq/git into trunk
Patch by Yves Bertot to allow naming universes in inductive definitions.