Update to support CodeMirror v3.01 and later
red with tabs beta
changed config of server.py to RASCAL, restored hiding .git files in filetree
Reload pytronics, minor improvements
Replace button/tab bar table with css, paler background, improve comments
Updated red_with_tabs doc
Improved comments
Merge pull request #2 from dsmall/master

Add tabbed editing plus CodeMirror upgrade