configure content types (needed for richer source viewer support)
minimum bundle version for hover support
basic tooltip support: show Isabelle types, etc;
keep showing annotations as well;
the tooltip content currently is plain-text only: the rich support may be added in the future
Merge branch 'tooltips'
Scala 2.10.1 released: use it for builds