LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning