Here's how I would do it (IN THEORY)
Backup your current wallet.dat (%appdata% -> ProtoShares)
> Delete wallet, start Client.
> new wallet should be created
> Help > Debug > dumpprivkey <PTS address>
> PGP encrypt the private key
> make a QR:
http://goqr.me/en-us/> send coins over
Edit: that being said, someone should port Electrum.