allow swapping the Isabelle_System state
open Isabelle/Scala API: access to completion words

Need access to the completion words to add customised completion algorithm. The abbrevs can be replicated outside by reading the symbols, but words gets added to via Outer_Syntax, so need to access it.
Merge branch 'api-changes' into isabelle2013-2-osgi