bash profile: Source the rvm config if it is available