A Quantum Algorithm for Computing All Diagnoses of a Switching Circuit