php: fix dumping of arrays with integers

Python `join()` function only handles strings. We need to ensure that
we only provide strings.
Merge pull request #30 from vincentbernat/fix/php-arrays

php: fix dumping of arrays with integers