Delete org.eclipse.php.core.prefs

Removing unnecessary Eclipse file.