updated versioning information
 added back animations
fixed debug bar colors
fixed labels and highlighting for file browser and tab navigation
fixed arrow trees and line highlighting
added animations to popovers and fixed js element highlight style
cleanup
added back webkit prefix to codemirror
Merge branch 'develop'