Improved diff formatting in SceneInspector.

Character-level diffs are now highlighted, and cell-level highlighting is applied to the tables used to display boxes and matrices.

Fixes #894.
Added options section to SceneInspector.

Fixes #197.
Improved SceneInspector formatting.

- Added specific formatting for vectors
- Added Box2 formatting
- Formatted bools as True|False