Remove programming-tools. Its content was moved into Developer's
Handbook at 2001/09/02 and replaced with compatibility link to its
new content location. 2.5 years is long enough deprecate period, so
cleanup a repository.