Circumscription -- NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs