Remove SrcLoc from unannotated AST

Damage: the pretty-printer for the unannotated AST no longer generates LINE pragmas.

See also #100.