[Bug 487349] Review Request: bashdb - BASH debugger, the BASH symbolic debugger