added modified .gitignore from php-src