OpenKeyChain: The Easy Way for Android's File Encryption