STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving