Add new file 100-monitor_kernel_version.inc.php to stable-3.1 in relation to recently merged commits of !790 and !791.

There is a fix to the filename for master submitted via commit !804 that is still pending.

Update letsencrypt.inc.php as per the discussion at #5030. Already pr'ed and merged in master via !778. Perhaps can be merged with stable too?

Add description text for logging options.

Fixed#5019 LE cert problem in mirror setups. This patch disables the creation of Let's encrypt SSL certs on mirrored slave servers.

Added a third parameter to $app->log() function in server part to turn off logging to database and use this option in mysql lib to not log any server side SQL errors to the database.

- Fixed #5027 add support for PHP 7.1 and 7.2 on nginx servers in apps vhost.
- suppress some warnings in simplepie.inc.php

global option to enable pagespeed with nginx - allows to enable pagespeed even if no webserver-config is selected