Fixed json-pretty-printer script
Reworked styles and scripts generations with grunt, added highlighting back
Added github style for HighlightJS
Google analytics
Removed Bootstrap from the front-end HTML
Fixed styles after migration
Fixed navbar-header style
Fixed textarea default height
Merge branch 'develop'