templates: rename ROOT to root.thy for consistency Also remove custom ROOT generation from the test runner.