Merge pull request #24 from rwst/t22

src/doc is safe
Merge pull request #23 from rwst/tdoc1

add some more docs to methods
Merge pull request #17 from rwst/t12

replace http with git where useful (fixes #12)
Merge branch 'master' into develop

* master:
Merge branch 'develop' into hotstuff

* develop: