added a rudimentary, working version of edit_user.php