[Decaf] PP4: change code style.
[Decaf] PP4: add semantic error test cases for pp4.
[Decaf] PP2/3/4: fix grammar rule of return statement.
[Decaf] PP4: Check all the semantic errors.
[Decaf] PP4: some print/debug facilities.
[Decaf] PP4: update the readme document.