profiles/package.mask: mask lean 3 and mathlib-tools

# Maciej Barć <xgqt@gentoo.org> (2025-01-02)
# Deprecated LEAN 3 packages. The "mathlib-tools" repo is archived
# (https://github.com/leanprover-community/mathlib-tools). Migrate to 
LEAN 4.
# Removal on 2025-02-02
sci-mathematics/lean:0/3
sci-mathematics/mathlib-tools

-- 
Have a great day!

~ Maciej Barć

https://wiki.gentoo.org/wiki/User:Xgqt
9B0A 4C5D 02A3 B43C 9D6F D6B1 14D7 4A1F 43A6 AC3C