Add missing translations from fun theme

Previously, fun theme was not translated at all, as it was all in
French. Now that we handle theme translations (via makemessages_fun), we
are able to localize the theme.