The Role of Entropy in Guiding a Connection Prover