Tweaks to user guide on using differnt ANTLR versions.

+review REVIEW-5237