Revision 3893

Resolves bug #942, in which a missing permission level field causes a
warning:

This is in fact due to UserList assuming that $record{permission} is
defined when it is allowed to be undefined (as per the format of
classlist files).

I added a case that sets is to $default_permission_level if it is not
defined.