Updates for new Syntax API

Use the common syntax highlighting preference page.
Use the API.

Still needed for a follow-up PR: clean the old editor code and fix the last 2 uses of non-API classes.

Needs scala-ide/scala-ide#811 to build.