Removes any permissions that the user can't have if they're banned.

• Called from is_not_banned to actually handle permissions
• If they're fully banned, this simply empties out the $user_info['permissions'] array (which prevents them from viewing anything but the board index, unless guests aren't allowed to view the board index...)
• If they're only post-banned, it removes any permissions that allow them to post or modify things