Added option to read_term to read double-quoted strings as atoms.
Authored by: dwarren 2019-02-05
Parent: [r9501]
Child: [r9503]