Add OCamlMakefile.
add call-by-name.
add call-by-need
modify main to recognize strategy options
add misc files
add lazy-sample