The spy who flunked it: Kurt Gödel's forgotten part in the atom-bomb story