webui: add glyphicons
webui: mobile more
build: make tarballs
webui: more mobile fixes

disable codemirror for mobile
use portrait query, in addition to screen width
disable zooming