MySQL - Optional GPL License Exception for PHP