Murdered spy Gareth Williams cracked coded terrorist messages