Popular Encryption Software TrueCrypt Shuts Down Mysteriously