update of explanations, grammar and structure

Block ciphers have been improved. Example of each subsection are now
given as well as a detailed explanation. Chapter 4 DES structure has
been improved with appropriate sectioning. A chapter was removed as it
is no longer relevant (Computing DES through SAT).