Removed the NHol.Light.Syntax project and it's test project -- for now, just focus on getting the imported code working, and we can split it up later if necessary.
Created empty files in the NHol project, each of which corresponds to one of the source files used by the "core" part of hol-light.
Imported the OCaml code for the first several files in the project; it has not been modified (beyond adding a few comments), so the project does not currently build.