fix build.xml and ref latest antlr 3.5; tweak README for 4.0.7