Transcription termination controls prophage maintenance in Escherichia coli genomes