This link is presented in the Project Information list, and only for
admin people (normal users do not see the link). Only "admin" types
can do this now, but eventually we may want to open it up to the
leaders of projects, but that presents some issues I don't want to get
into just yet. The project directory in /proj is not actually deleted,
but is renamed from <proj> to <proj>-`date/time` of the deletion.
Actual deletion should be done by hand. Seems Safer. Two levels of
confirmation are requested in separate pages to guard against
erroneous removal. Mail is sent to the Testbed control email list so
we all know what has happened.