Include newer commits from upstream

# Bitte geben Sie eine Commit-Beschreibung für Ihre Änderungen ein. Zeilen,
# die mit '#' beginnen, werden ignoriert, und eine leere Beschreibung
# bricht den Commit ab.
#
# Datum:            Tue Sep 15 16:12:54 2020 +0200
#
# Auf Branch debian/master
# Ihr Branch ist 401 Commits vor 'origin/debian/master'.
#   (benutzen Sie "git push", um lokale Commits zu publizieren)
#
# Zum Commit vorgemerkte Änderungen:
#	geändert:       debian/changelog
#	geändert:       debian/patches/0002-use-system-cryptokit.patch
#	geändert:       debian/patches/0008-accept-and-use-CFLAGS-and-CPPFLAGS-from-environment.patch
#	geändert:       debian/patches/0009-fix-for-hardened-build.patch
#	geändert:       debian/patches/0010-make-ocextr-as-bytecode-rather-than-native.patch
#	geändert:       debian/patches/series
#
