Reorder the introduction a bit.
explain vanishing cycles notation
mention microlocal motivation
Merge branch 'rewrite-intro'.