* time-stamp.el: Remove. Suggested by Stephen Gildea, the maintainer of