Merge branch 'websockets_frontend' of github.com:yandex-shri-minsk-2014/team-1 into dev
Add codemirror settings
Fix syntax, jshint
Update style for header and layout
Add javascript default mode
Update style for roster
Fix indentation
Add the feature of selecting editor theme.
Close #27
Fix define prototype style
Update editor mode switcher. Delete semicolon
Update styles to flexbox
Merge branch 'master' of github.com:yandex-shri-minsk-2014/team-1 into frontend_design

Conflicts:
	gulpfile.js
	server/users/user.js
Merge pull request #31 from yandex-shri-minsk-2014/frontend_design

Frontend design