Added the specification for the jaz programming language to the README