Galaxy evolution in the early Universe, and the GIRMOS spectrograph