Add an ordering to protocols and allow protocol ownership to be weakened.

This idea is taken from the paper "Towards a session logic for
communication protocols" by Cracium et al.
1 job for master in 5 minutes and 11 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #47340
fp
build-coq.8.10.1

00:05:11