Minor UI improvements, switched to base-16 theme
Added missing require for 'tuareg-mode'