VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning