Puttygen id_rsa.pub
To convert the PPK files, you need the package putty-tools.
On a Debian or Ubuntu you can install this package simply with:
apt-get install putty-tools
The actual conversion is done using the command puttygen.
Creation of the public key:
puttygen key.ppk -o id_rsa.pub -O public-openssh
Creation of the private key:
puttygen key.ppk -o id_rsa -O private-openssh
Now you copy both files id_rsa and id_rsa.pub in the corresponding user home into the subdirectory will add the key.
ssh-add -l will list all available identities.