Ein Student hat auf dem Campus der Technischen Universität Texas einen Polizisten erschossen. Der Täter sei nach kurzer Flucht gestellt und festgenommen worden, berichteten US-Medien.