A Simple and Flexible Way of Computing Small Unsatifiable Cores in Satisfiability Modulo Theories