Updater: use a slightly more meaningful User-Agent

This will allow us to assess a little bit better what Java/Operating
System combinations users really use, to plan ahead for Java 7.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>