What are your ideas about TrueCrypt after the mysterious end of development, recommending users to switch to BitLocker?