Implement most of the important matlab -> smtlib generation code.

The system can now generate SMT-LIB code from the parsed Matlab code.  It doesn't
deal with tables (yet), but that is next.  Also use the MatlabParser tests to
verify the generated SMT-LIB code.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@10656 57e6efec-57d4-0310-aeb1-a6c144bb1a8b