Update RVM script

No real difference. Just update it so that it is identical to what rvm
adds to .bash_profile; for convenience.