Release 2019_025 (2019-11-13)

NixOS 15.09 platform

• Update administrator key for Christian Theune.

NixOS 19.03 platform

• Correct sudo rules ordering; fixes passwordless sudo access for users with sudo-srv + wheel group (#120150).

• Update administrator key for Christian Theune.