Add Hijri date & prayer times to GNOME Shell date menu