Development of a Lyman-α laser system for spectroscopy and laser cooling of antihydrogen