Updating: working on libats-hwxi/lexingbuf
Merge remote-tracking branch 'upstream/master'
Updating: very minor changes
Updating: minor additions
Merge remote-tracking branch 'upstream/master'
Updating: fixing atstype_var being too large on Cygwin
Updating: fixing a typo
Merge remote-tracking branch 'upstream/master'
adding wrt to linmap_insert; reverting linset changes to upstream