Add: a minor improvement/fixing to value-block mapping in bytecode encoding;
Update: the documentation help for bytecode format.
Remove: doc/sdml;
Remove: benchmarks (use DaoBenchmarks instead);