Replaced usage of Options.get_(add|change|delete)_permission with
auth.get_permission_codename. Just a single case in utils/views.py.

The former one is deprecated and will be removed in Django 1.8; see
https://code.djangoproject.com/ticket/20642.
Added an 1.5-compatible implementation of get_permission_codename.