Refactor for Background Part

In the spirit of #100 we should have a separate part of the book that contains: 

- reading cmm
- reading stg
- reading core
- GHC analyses including:
  - unarisation
  - pointer tagging
  - SpecConstrt
  - Demand analysis and strictness
  - boxity analysis