The Texas Tech student shot and killed a campus police officer on Oct. 10, 2017