Release of PHP Extension v5.0.40

• Feature: PHP 7.3 Support
• Bugfix: In certain cases fastcgi_finish_request was instrumented wrongly.
• Bugfix: TidewaysProfiler::isProfiling() implementation didn’t always correctly returned true when running.