Added slides on breakpoint debugging an Alloy app