NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models