Add tandem verification documentation
Created by: zchamski
Add a (fairly) complete documentation of the tandem verification infrastructure:
- description of principle and architecture of the solution
- user manual with examples
- reference manual describing configuration parameters, DPI interface and cmdline options.