Admin/etc/build.props

clarified build_props: empty module means no build;
clarified signature;
clarified errors;

title = Isabelle/Scala/Admin
module = $ISABELLE_HOME/lib/classes/isabelle_admin.jar
services = isabelle.Admin_Tools