Remove obsolete web-karma.html files