Fix #15790: url_get() curl user agent is now mantis

Instead of a generic 'curl/version' we now report 'mantisbt/version
php-curl/version'