Sparse certificates for 2-connectivity in directed graphs