Add queue structures invariants
Merge branch 'dev' of github.com:mickael-menu/libpirt into dev