Merge branch 'amiranda/171-rocksdb-crashes-with-sigill-in-ci' into 'master'

Resolve "RocksDB crashes with SIGILL in CI"

This MR ensures that RocksDB is compiled with the `PORTABLE` and `USE_SSE` flags when building the Docker images used in the CI.

Closes #171

See merge request !107