Log Message:
Remove lang/twelf, as proposed on pkgsrc-users; it has not built in
years, is pretty well dead upstream, and is no longer of much interest
for research either.