Update libraries

It seems to be not working right now; at least when I tried on Scientific Linux 6.4 (all up-to-date), I couldn't finish my `make`.
When I updated the libraries, it started to work.
What I did was:

- update `sbt` and its libraries
- change `antlr` download uri to the official one

How's it seem?