added an script to fix incorrect outputs form old versions
Merge branch 'master' of https://github.com/smirarab/ASTRAL
merge change log