Update a couple of README's

src/sccd/statechart/codegen/code_generation.txt

@@ -1,9 +1,9 @@
 
-===============
-Code generation
-===============
+=========================
+Code generation with Rust
+=========================
 
-49 tests currently passing (flag --rust):
+50 tests currently passing (flag --rust):
 
   features/instate/test_instate.xml
   features/instate/test_instate_nested.xml
@@ -19,6 +19,7 @@ Code generation
   features/history/test_parallel_deep.xml
   features/history/test_shallow.xml
   features/after/test_after.xml
+  features/after/test_after_reentry.xml
   features/parallel/test_parallel.xml
   day_atlee/test_02_counter_takeone.xml
   day_atlee/test_03_trafficlight_single.xml

rust/README.txt

@@ -1,3 +1,3 @@
-This directory contains
+This is a Rust crate, containing
  1) shared stuff, imported by SCCD model-generated Rust code
  2) "the runtime", which is just a bunch of primitives for running the generated code.