- Began to change the behaviour of Dev-Editor's editing function:

- Began to change the behaviour of Dev-Editor's editing function:
  The concept of locking the file for other users before editing it is not very
  good, causes some problems and makes it difficult to add new features. So I
  decided to remove it.
  When Dev-Editor shows the form for editing a file, it calculates the MD5
  checksum and places it in the editing form. Before saving the file, the MD5
  checksum is calculated again and compared to the submitted one. If the two
  sums don't match, Dev-Editor does not save the file and shows the editing
  form.
  It seems to work, but the solution is currently VERY dirty...
- Removed the possibility to encode ISO-8859-1 HTML entities. There is no real
  use for this function.
- The extension of the configuration files is now "conf"
- Changed the names of some error messages:
  binary      -> binary_file
  cmd_unknown -> command_unknown
  create_ar   -> create_above_root
  not_exist   -> not_found