Manuscripts of two crypto articles by Alan Turing for Britain's NSA, plus his 155-page notebook "Mathematical Theory of ENIGMA Machine"