Removes repair information entered by a service engineer for a
   specific device. This allows the repair database to be trimmed,
   enhancing the usability of the information. Repair entries deleted
   from the database are no longer available to the fault manager and
   cannot be recovered.

   REMOVE REPAIRED dev-name

   dev-name:      A valid device name.