---
[diffASTs.sh]
Removing some unneeded echo statements.
...
Improving the diffASTs.sh script.
---
[diffASTs.sh]
Improving this script by fully qualifying the names of the xml files that
get produced. This will be more robust in the long-run.
...