Switch redis & write_redis plugins from credis to hiredis

This is an updated version of #464, rebased on current master. The main difference is ensuring write_redis works as it was initially intended to.

Documentation for write_redis has been added in another PR (#796).