Update for ceylon/ceylon.formatter#88

See ceylon/ceylon.formatter@3bd1942.

Also simplifies getEclipseWsOptions because I couldn't be bothered
updating the huge named arguments-ish constructor call, and it's
completely unnecessary because we now have a much better way using
VariableOptions (ceylon/ceylon.formatter@eb00aeb).

Existing profiles (with the now removed options) can be read without
problems - in fact, they even persist when the IDE saves an updated
profile. To avoid them bloating your profiles, I recomment just removing
the profile if you haven't done too much with it yet. (Of course, you
can also look at the ceylon.formatter commit to see which options were
removed, and delete those lines from the file directly.)