Adding the straggler-catcher tool and the documentation