Changing default annotation scheme temporarily for Richard to include "reads Global"
by default. This breaks some tests but I will fix this when I'm back in champaign.
Merge branch 'asp' of github.com:hanm/clang into asp