[PRQ#48916] Deletion Request for shark-ml-git

MarsSeed [1] filed a deletion request for shark-ml-git [2]: Broken, unused, discontinued library from 2019. [a] [a]: https://github.com/Shark-ML/Shark/ [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/shark-ml-git/