Added FileHandler class, which reads ciphertext