Change a user's password from the command line.

In case of forgotten password, and in lieu of a proper password reset
function, you can now use tools/change-password.js to change a user's
password from the command line.