Just use a soft cloth, be careful, and wipe off the bottom of the processor. also (if it's a big problem) wipe off the top of the pins in the cpu socket.
Main thing we want here is to make sure all the pins still make contact with the cpu.
Otherwise it isn't really a big problem, just remember to put a bit less next time you do it
"As a result of all this hardship, dirt, thirst, and wombats, you would expect Australians to be a sour lot. Instead, they are genial, jolly, cheerful, and always willing to share a kind word with a stranger, unless they are an American." -- Douglas Adams