Scala layer enhancements

Improve key bindings and configuration for ENSIME, update layer readme.