clean_html_texts.py: removed minor bugs. run_clean_html_texts.sh: first script generating provenance