Updated article on using CATCH with GDB
Fixed merge
Updated article on CATCH with GDB