Add support for PHP 8.0

PHP 8 will be released on 2020-11-26. PHP 8.0 RC packages are available at Ondřej Sury's repository https://deb.sury.org/.