src/Tools/Setup/etc/build.props

clarified name and status of auxiliary operation

module = $ISABELLE_SETUP_JAR
no_build = true
sources = \
  src/Build.java \
  src/Environment.java \
  src/Exn.java \
  src/GUI_Setup.java \
  src/Library.java \
  src/Setup.java