scripts/domtool-publish: Update usage string