CallDel(3tcl) on Linux

The text 4aaa70da4a09, as Debian 1.3 (Bo), Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

Arrange for callback when interpreter is deleted

CallDel(3tcl) on Linux now