add some more docs to methods
src/doc is safe
Update README.txt
add --keep-tmp option; options as container argument to class Patchbot
Merge branch 't22' into develop

* t22:
  src/doc is safe
Merge branch 'tdoc1' into develop

* tdoc1:
  add some more docs to methods

Conflicts:
	src/trac.py
document check_base(), more verbosity; cosmetics
reset env from orig-env before 'make'