again tc_to_string was not updated :(
update bootstrap_lemmasScript.sml for moved theorems
fix bootstrap_lemmas for slight change to store values