Changes to spec.txt, new class OpcodeFormat.java, different parsing of opcode format