Almost nothing could have helped in the last school shooting. Here’s a tech solution that could have.