Queue fix

Separate adding and getting a task. Uses a double-ended queue to buffer incoming tasks. The buffer is then added to the actual queue whenever queue_gettask is called.

Peter, can you check if this doesn't break anything? Thanks!

See merge request !178