README: Slightly modify README with info written for Mizar32 doc