Rename html-contract-tools to html-contract-tool