Document Build.sh a bit better

This is only a ruse, really, to force Jenkins to update ij-minimaven
which for some reason got deployed incorrectly.

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