- Update to 7.2.5.1

- Removed unrecognized option `--disable-vlc`
This option has been removed from upstream in commit
https://gerrit.libreoffice.org/c/core/+/108283
There's no real change in our build given that the
VLC avmedia backend was explicitly disabled.
* Fix provided by Marina Latini
- Fix gtk popover usage on gtk 3.20
* patch provided by Gustavo Boiko fix_gtk_popover_on_3.20.patch
- Revert upstream commit https://gerrit.libreoffice.org/c/core/+/116884
* patch provided by Gustavo Boiko fix_math_desktop_file.patch
- Fix generated list of files for python scripts
- Use older syntax for Supplements on SLE12

- Add and update minimum version of dependencies
- Refresh 0001-Revert-java-9-changes.patch