add noop to assistbehavior trait
bug fix in assistant.scala
bug fix in isabelle