* Improve ndfilter, by switching from literal to numeric comparison.


* At the moment Numdiff can only manage text files with an
  8-bit encoding (ASCII and ISO 8859-* text files).
  Sooner or later Numdiff should support UTF-8 encoding.

