Merge branch 'v0.8.4' into 'master'

Added specific cache header for gui resources.

See merge request !140
8 jobs for v0.8.5 in 21 minutes and 49 seconds (queued for 2 seconds)