Switched to ANTLR 4 for Lustre and Yices parsing.

Things seem to run a little bit slower now (~5-10%) but that should improve with future versions of ANTLR.