gnome-online-miners: update to 3.10.3.