open Isabelle/Scala API: allow resolve import names from the base document, not base dir (e.g. to allow URI-based resolution)
extend Isabelle/Scala API: support complete cancellation of an Isabelle build job via the progress monitor