Remove generated files, remove unnneeded env dir (TriBITS #26)

From now on we will be generating TriBITS documentation on demand and
publishing it to tribits.org and other places.
Add publish_docs.sh script, change name to build_docs.sh (TriBITS #26)
Point only to tribits.org for documentation (TriBITS #26)