Updating Types
CoqDoc test push
CoqDoc test push
Merge branch 'master' into gh-pages

Conflicts:
	DList.v
	Defs.v
	DvmState.v
	Eval.v
	Example.v
	Helpers.v
	Instructions.v
	Primitives.v
	Program.v
	makefile