user editor: use dojo stuff
pref-users: remove useless javascript: prefix
use dojo stuff for user details
minor user editor updates
make_lockfile: don't do inode checking on windows