Manpages of redis-tools in Debian jessie