Merge branch 'queue_fix' into 'master'
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