LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning