ObsoleteFiles: Update after simple_httpd removal

There should have perhaps been an entry in OptionalObsoleteFiles for it
before, but alas- let it be removed now with make delete-old if it was
installed.

Reported by: Oliver Pinter