Disable bookmark menu items when unavailable + the code formatter for Haxe (closes #211)

![](http://i.imgur.com/pfbLIWw.png)

Only "toggle bookmark" is now available when the current document has no bookmarks.
FileSwitch is the right moment normally