refactored grammar: added TypeInstance :: DataType Name  and renamed Program to Specification (based on cherry-picked (parts of) 9d2ca1)

to simplify implementation/use of orca.

list of samples immutable (tuple instead of list).

C and python passes some tests...

python code for the test harness.

pruned and grafted the refactored compiler from the metadata branch. Tests run, but code needs cleanup

  put delimiter first in typeinfo to simplify parsing
  and not assume what delimiter should be used for
  various languages (was broken for C#)

compiler/CS_CodeGen.jrag:
  corrected handling of variable sized arrays (int -> packed32)

compiler/Python_CodeGen.jrag:
  added signature list