Move ch4 into its own chapter

Prepare to move to Racket with sicp language
enabled.
Add metacircular evaluator (ch 4.1) to ch4
Add static analysis for metacircular evaluator

Changes in analyze.rkt.
TODO: Pull out common code in metacircular and analyze
Add lazy evaluator from ch 4.2, no memoize
Add memoization to lazy evaluator