Kleene Algebra Modulo Theories