erstatt login.ifi.uio.no med rh7login.ifi.uio.no

IFI drift ruller ut nye login-maskiner. P? disse nye maskinene mangler det for tiden valgrind (gcc, make, gdb funker fint). For ? v?re sikker p? at dere kommer til maskiner med valgrind kan dere bruke ssh til "rh7login.ifi.uio.no".