Split non-server binaries into redis-tools package. (Closes: #723006)
Update debian/watch.