Unicode argv

This pull request enables passing Unicode into `$argv` on Windows systems. Currently, all characters are converted to platform encoding by Windows before passing them to `php.exe`. We trick around this by double-encoding the command line arguments.