Fix parsing of SMT-LIBv2 |quoted| symbols that span newlines in interactive mode.

Thanks to David Cok for raising this issue.
Detect multiply-defined :named annotations and issue an error.

Thanks to David Cok for pointing out this issue.
Update THANKS to mention David Cok's contributions.