skip default deployment of Isabelle/Scala artifacts (not distributed via Maven)