Add a server command to terminate pilot execution
We should allow users to cleanly interrupt pilot execution. This could be done by
- Adding a query command to get info from the pilots collection in the database
- Adding a user command to enlist a pilot for execution stop
- Modifying the server so that when a pilot enlisted for stop claims a new job the server replies with the "finished" status instead.