PraatEdit v0.1.2 (line numbers bugfix)

- Java's logical Monospaced font caused misalignments of lines and line numbers
  on some platforms (why?); hardcoded Courier New as default font, and added the
  possibility to change the typeface in .praateditrc