Update redis vocabulary to use the modern protocol

The existing Redis vocabulary was using a very old and outdated version of the
Redis protocol that couldn't even write values to a modern Redis install.  This
patch updates the library and tests to use the newer protocol, which should
also work on Redis servers all the way back to Redis 1.2.
deploy-tests: Bump the sizes to get a Linux32 build.
GNUMakefile: Use -g for symbols.
code_blocks: Same error message in two places, make it clear which is triggering.