Updating History.md, replacing version text by badge