Teach ImageJ.sh the --mini-maven option

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Switch Build.sh from Fiji Build to ImageJ's MiniMaven

Now that ij-minimaven learnt to simulate imagej-maven-plugin, we should
switch away from the Fiji Build system. It served us well, but proved
a maintenance burden, while MiniMaven can always be replaced by Maven
if the former should misbehave.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Do not build javac by default anymore

Javac really posed a chicken-and-egg problem, so it is safer to build it only when it really changes and deploy it so that it is Build.sh's responsibility to make sure it is up-to-date.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Build.sh: try to support Fiji Build convenience also with MiniMaven

... in particular, the possibility to set 'verbose=true' and rebuilding
projects by appending '-rebuild' to the file name...

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Scala Interpreter: depend on the newly-released Scala version 2.10.0

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