Further tweaks to nlist material, getting TM example to build again
Reconcile store_thms with diverging names in db and val binding
Move Turing Machine scripts to computability/turing The register_machine script should end up in the register machine directory.