Editing user passwords

I wanted to edit the admin password and found no way to do it from outside the platform:

http://postman.memetic.org/pipermail/observium/2012-May/000794.html

Therefore I'm attaching a patch wich implements ./edituser.php to edit it:

./edituser user new-password 10

Cheers