Sequential queue specs

Proof that the graph specs for queue imply sequential specs. Most of the work is by Than.

changed target branch from master to graphs_multi

added 2 commits

• 8569f35e - Add _CoqProject
• e86d0ff7 - A lot of cleanup

Compare with previous version

Thanks @wmansky. I did a few cleanup. I'll have to cleanup uses of generated names before merging.

added 1 commit

• 63842ed1 - more cleanup

Compare with previous version

mentioned in commit 9d4a21fd

merged