Added code mirror for viewing  sequent formulae
added font-awesome library
added transform event to trevis to emit current translate and scale values
reorganised user interface - console and commands are in a fixed tabbed view at the bottom while proof tree and sequent displays are shown across the screen width
refactored stylesheet into proof tree styles and html styles