A bookmarklet to clear Chromes DNS cache