A tool to manage GPG encrypted files