updating md files
updated external/{fixpoint, misc}
tweaking stat.h
ok, merged ALL diffs into single repo