rcfiles

First of all, a lot of common code is now in a single file (the tf shell
script). Another benefit is that the `tf` script can be used by others,
as a way to make workspaces and variable files easier.