WaitfreeQueue: Name now shows that it's about the PPoPP'11 WF queue.

Signed-off-by: Michael Lippautz <michael.lippautz@gmail.com>