work around a bug in rredis (it refuses integer port numbers)
bugfix for zero-length user list request
add INSTALL and bootstrapR.sh for the release packaging