Use solarized theme and add useful bindings