Store resources compressed

Resources are currently stored as-is in the SQLite database. It is probably better to stored them compressed, where appropriate (e.g. anything textual), possibly via SQLite's [compress](https://www.sqlite.org/src/file/ext/misc/compress.c) extension.