Improve output from setup-jnilib.py.
Improve output from setup-jnilib.py.

The script now prints the URL it uses, and only prints anything when it
actually needs to do the download, making it less noisy in general.

precog/platform,precog/platform,precog/platform,precog/platform