Singular.jl 0.18.12 released

Today Singular.jl 0.18.12 has been released.

Diff since v0.18.11

Merged pull requests:

• add mres_with_map (#702) (@hannes14)