A Sequent Calculus and a Theorem Prover for Standard Conditional Logics