Add Turing's 1936 paper and Karp's NP paper

This commit adds Turing's 1936 paper outlining Turing machines and a correction to that paper.  Also, Karp's paper demonstrating that 21 problems are in NP is added.

I was not sure which directory to place these papers in.  comp_sci_fundamentals_and_history might work.