proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
title = Demo
module = lib/demo.jar
requirements = \
env:ISABELLE_SCALA_JAR
sources = \
src/demo_tool.scala
services = \
isabelle.demo.Tools