Update Singular.jl to 0.25.0#4548

lgoettgens merged 3 commits intooscar-system:masteroscar-system/Oscar.jl:masterfrom

hannes14:hs/singular_versionhannes14/Oscar.jl:hs/singular_versionCopy head branch name to clipboard