add settings modal & refactor other modal

modals switched to original bootstrap, due to complexity experienced by
using angularjs bootstrap

added settings:
1. keyboard handler
2. editor themes
3. show gutter or not
add font size and line height for editor