rdftohashdb: use hexastore backend (it's much faster)