Testing new color scheme.
Overall python improvments. Snippets, checking e.t.c.
Java and JavaScript snippets/mappings changed.
Minor UI changes.
Removed an unused python mapping.
Map "jj" to exit insert mode.