Add a table of contents
Add dash-at-point
Merge remote-tracking branch 'prelude/master'

* prelude/master:
  Add a table of contents
Add latex-related function for code coloring