Updated OpSem and Hoare. Moved examples to own file.
Merge branch 'master' of https://github.com/terkill/AMP

Conflicts:
	src/Hoare.v
	src/imp_ast.v
	src/imp_state.v
Sorted out the source code (now it compiles!)

Out-commented a lot of the heap stuff (I think some libraries are
missing).