Let img/Makefile stop after first latex error
Refine representation of RPC object

By putting the capability to the right of the RPC object, diagrams
become more concise when capabilities are delegated from left to right.
Tikz nodes for threads
README: be more specific about LaTeX packages