Several fixes in tools and docs.

run_pep8 is now works correctly with venvs;
docs updated to point to the stackforge repo.

Change-Id: Ieddc29d3020e09a52b0b8fc5a7ad68086aaa8cee