Updates for new Syntax API

Use the common syntax highlighting preference page.
Use the API.

Needs scala-ide/scala-ide#811 to build.