src/Tools/Setup/etc/build.props

update for release;

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