Reconnaissance of the TRAPPIST-1 exoplanet system in the Lyman-α line