Fixes #4125: User manual doesn't mention RHEL/CentOS 3 support

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