added --no-ri and no-rdoc to server_setup.sh