[Singular/f18] (2 commits) ...Remove no longer required patches and add missing ones to git.

[Rex Dieter]

Summary of changes:

  82a436c... Update to Singular 3.1.5 (#842407) (*)
  3a7aea1... Remove no longer required patches and add missing ones to g (*)

(*) This commit already existed in another branch; no separate mail sent