Added the concept of a script code header to list the extensions actually used by a script (was using all extensions listed in the binary).

Properly implemented dumping a binary including a list of required extensions and support for extension-specific output.

RECOVERED FROM INCONSISTENCY: developed testsuite and binary dumping and fixed various small issues.

Implemented support for overriding default argument implementations of number, string and string-list.

Properly implemented the code dumper. Dumps are now printed in a stream. The individual opcode and operand implementations no longer use printf()s.