GZIP web responses

Enables gzip compression of responses to rest-server and of jsgui resources. Should give a boost to the web console's performance.

Sample reductions:
* styles.min.css: 116kb -> 19.3kb
* gui.min.js: 472kb -> 138kb
* activities json 90% smaller