Added .gitignore from the php-src