Queue now uses seq instead of list
We:
- updated the queue.Queue module to use seq instead of list
- fixed proofs and examples using the previous model (@rrieuhel said he will fix the remaining ones)
- added an implementation in examples that is using two lists
- fixed a few things and added a few missing lemmas in the seq library