some bogus progress, since the srcSpan is JUST the srcPos. sigh.
ok, vim annot seems to be working well now
Merge pull request #209 from ucsd-progsys/vimannot

Vimannot  -- pretty trivial, merging.