mathlib

17ad94b4 - ci: fix bibtool installation (#18816)

ci: fix bibtool installation (#18816) Adding `sudo apt-get update` seems to fix the installation failure; perhaps our package list referred to an old version that the default mirror decided not to bother hosting any more. Co-authored-by: MohanadAhmed <m.a.m.elhassan@gmail.com>