Deletes polyphon subdir.
Polyphon information is moved into polyphon's own github page
repository.