some minor ocaml improvements
added some grammar defs for statements without them
create runtests using make
some cleanup in runtests
csharp lang is csharp, no cs
rlhc: removed value_pass
some work on the ml code generator: using refs
rlhc: removed expr_cond def, not used