synchronize TaskQueue proc lists

Some lists were appended concurrently using non-synchronized methods.

(hopefully fixes the error observed in this test: http://fslwork.cs.illinois.edu/rv-jenkins/job/k-framework-master/88/consoleFull)