v0.23.3

Singular v0.23.3

Diff since v0.23.2

Merged pull requests:

• README.maintainer.md: further improvements (#667) (@fingolfin)
• extend rQuotientRing to non-commutative quotient rings (#809) (@hannes14)
• option handling, fix #808 (#810) (@hannes14)
• Version 0.23.3 (#812) (@fingolfin)

Closed issues:

• Inconsistent output of prune_with_map_projection (#796)
• Turning off the reduce tails option (#808)