Continued restructuring and revising of the introduction.
Further progress on the introductory content about mutation testing.
Shortening the content about mut analysis in the intro, still same meaning.