Updated compiler.ml, makefile, semantics.ml.

1. fixed errors in using "make" command;
2. added semantics into makefile;
3. fixed bugs in semantics.ml
Now "make" should work, notice that you also need a input file
"input.cul" to run the command.