document testing workflows

Add user-guide style documentation on synthetic tests workflows using bisector and exekall. That is meant to be a kind of reference flow, with documentation and command line examples, and without too much advanced content. More details about the concepts of exekall and bisector will be documented in their own documentation to come.