Gzip support

* Added gzip support in two ways:
  - if you flag that the resource file is gzipped into portal_css/portal_javascript/portal_kss
    the file will be accepted and gunzipped when needed.
  - when running the server in production mode the resources will be gzipped by default.