The Bear Bash DeBugger : A lightweight debugger for Bash scripts