Two papers on Alan Turing's theory of code-breaking are released to the UK's National Archives after 70 years.