First commit in AST visitor implementation.
First commit in AST visitor implementation.

- This implementation is heavily based on the CIL AST visitor (Necula et al.)
- Need to finish up with the monadic implementation

UCSD-PL/RefScript,UCSD-PL/RefScript,UCSD-PL/RefScript