adding quick docs and usage for harness.py
small updates to latex sources