Rename html-contracts/openpgp.min.js to html-contract-tools/openpgp.min.js