Kill the query through the web interface. Fixes #216
kill-query: text to red and tweak symbol
Merge pull request #217 from uwescience/kill-query

Kill the query through the web interface. Fixes #216