add README file to hol-light subdirectory
start on porting model_syntax.ml to HOL4

about 30% of the way through the HOL Light script file (and using only
60% of the number of lines of code).