Why3.Controller_itp.Scheduler -> Protocol ->
  sig
    val focus_on_loading : (Why3.Task.task -> bool) -> unit
    val init_server :
      ?send_source:bool ->
      Why3.Whyconf.config -> Why3.Env.env -> string -> unit
  end