use django.utils.dates.MONTHS_3 for short month names (resolves #225)
Merge pull request #228 from brente/master

use django.utils.dates.MONTHS_3 for short month names