Fixes #4124: User manual doesn't mention Debian wheezy support

See http://www.rudder-project.org/redmine/issues/4124