wireshark/tripe.lua (dissect_ciphertext): Return correct final position.