Make operating systems in srpush match try server

This will hopefully cause a little less confusion. All the names on the
backend for stone ridge are still the same.