Remove obsolete programs getdominfo, convert-dom-db, rebuild-dom-db