Log Message:
Update to mined-2000.14; requested by upstream. Pick up maintainership.
While here add DESTDIR support.

Changes in 2000.14:

Text editing features:
 * Case-insensitive search (except when searching for an identifier).
 * New command Alt-x toggles preceding character and its hexadecimal code.

Character encoding support enhancements:
 * Additional option -E? just determines and displays text file encoding(s).
 * Additional option +E? just determines and displays terminal encoding.
 * Separated display of "isolated" combining characters (e.g. after TAB).
 * Improved text encoding auto-detection:
   * Improved detection of CJK encodings vs. 8-bit encodings.
   * Added auto-detection of Windows-"ANSI" (CP1252), PC-Latin \ 
(CP850), MacRoman.
   * Improved configuration of auto-detection.

Character input enhancements:
 * New shortcuts for input of plain quote marks (in smart quotes mode).

Interworking enhancements: Terminal encoding handling:
 * Added options -f / -F to indicate limited font coverage of special characters.
 * Detecting and handling non-Unicode terminal with Arabic ligature joining.
 * Detecting and handling special width behaviour of rxvt, mlterm, konsole
   concerning unassigned characters, non-BMP, or non-Unicode characters.
 * Applying display replacement for illegal Unicode characters by default
   (codes ending with FFFE/FFFF, surrogates, non-Unicode code points).
 * Fixed a lot of other remaining width display inconsistencies.
 * Making use of window focus out/in reports (xterm 224).
 * Workaround for xterm 224 bug which could lock up the terminal.
 * Adjusting display details to properties of gnome-terminal, konsole.
 * Considering termcap information of function key escape sequences.

Miscellaneous changes:
 * Increased speed of some UTF-8 search operations by a factor of ~ 40.
 * Colour highlighting of DOS/Mac line end indications.