rima.lua: add delete_user function