pass in additional session dirs and environment map to Isabelle startup