Add first version of full qualifier for annotations, #18.
Return value, not output, #2.
Place JSONDiff in package, compile in Makefile, #2.
Make use of new JSON diff tool in verify_single, #2.
Add testcase for #2, should fail, but does not.