Main function checks complete

Embedded main function checks into parse tree grammar to match the specification.
````
void main()
````
Must now exist in a Tiger program, and must be the last function declared in a Tiger program.