Changed language source compatability to Java 1.6
WyIL: fixed up verification condition generator; now it's compiling again!
WyIL: updated verification condition generator to eliminate some teething issues.
WyCS: bug fix for parsing function declarations.
WyCS: bug fix for various minor problems.
WyCS: bug fix for file writer
WyCS: changed name of NewWyalFileParser to WyalFileParser.
WyCS: updated instiation for SyntacticType.Function
Merge branch 'master' into devel-smt
WyCS: oops, forgot to add missing file after refactoring.
Merge branch 'master' into devel-smt