Click a border to highlight the borders at the same level (dubious, this is an expert feature). Solves #16. Also, borders width has been brought back to a depth-based scale. Leaf synsets labels are not deleted anymore even when going beyond their depth.