Since no one answered, I had to find out by myself :P Anyway, if someone else wants to sell their RAM for some EOS, the easiest way is to download eos-voter from Greymass.com. Just log in with your private key, and you can sell all the Ram you want ;)