GPG-sign Quicklisp files stored on S3