Non-Hausdorff groupoids