Json Editor Plugin - 0.9.5 released

Some new minor features and many bug fixes.

New features:
- Auto format on Save option.
- Choose text highlight colors.

Bug Fixes:
- Boolean validation was not case insensitive.
- Syntax highlighting failed when String value contained carriage return.
- Editor correctly uses workbench tabs and spaces setting.
- Exponential values were reported as errors.
- Validation was not reporting 1.1e as an invalid number.
- Auto indent and trailing bracket did not work on empty file.
- Cursor position and folding states were not maintained after text format.
- String containing {} reported an error in the Outline view.
- Validation error was highlighting the wrong value.
- File line ending encoding was using system default instead of project preference.