packaging/tinyos-tools-stable: build against tinyos-release

pull the release tar ball from tinyos-release rather than tinyos-main.
It's the release repository.  Yes the SHAs are the same.

Update documentation to better document where the release tarball comes
from and how the parts are named.