update README of historical-version to checkout specific dredd's commit

[JonathanFoo0523]

Recent changes in dredd requires manual adding of

void __dredd_prelude_start();

in some source files/

Furthermore, we want to make sure the result we obtained and reported in reproducible with a specific dredd version.