Update build.py to point to a new location for jsontools-core-1.5.jar.

The old location (berliOS) no longer has that file.
The MD5 sum is the same, so there shouldn't be a problem.