Remove source-highlight

Use cdiff instead.