removed php directory

Since the old PHP implementation is now obsolete and is available from the git
history if need be, I removed the entire `/php` directory. This should make it clear
which part of the project is active, and give a more appropriate language analysis
on GitHub as an additional benefit :)