Update pool copy cleanup

This small addition just makes sure that the .opensesame.pool temporary pool folder is cleaned up upon exit.