[doc_tool] Show leading zeros in percentage of install script.