Refactor the resources for ticket lock

Merged Jeehoon Kang requested to merge jeehoon.kang/iris-coq:refactor-ticket-lock into master

Merge request reports