BQTmizer: A Tool for Test Case Minimization with Quantum Annealing