Update version number to v0.4.13 in index.html.