Replace queue.h with pdeque.h

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix bugs in pvector. Improve test driver

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add support for writing a[i] = v instead of a.set(i, v) in the pvector class.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add support for writing a[i] = v instead of a.set(i, v) in the pdeque class.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add support for writing a[i] = v instead of a.set(i, v) in the pdeque class.