Remove special support for _|_

Idris has renamed _|_ to "Void", so special commands and highlighting
are no longer necessary.

Fixes #259.
Merge pull request #263 from david-christiansen/no-bottom

Remove special support for _|_