Separate highlights

* now, 3 kinds highlights.
  HOVER, SELECTED, PATH
* HOVER is used for just hover
  SELECTED is used for text search / focusing(=pivot)
* PATH is used for shortest path
* each highlight type given by pen_type parameter instead of highlight parameter