Add a script analysis phase.

For now, all we do in this phase it analyze ATL for const-ness.