Avoid rewriting the INI file when attemptiny to delete a key that alr…

…eady isn't present in the INI file.

When writing to an INI file, reopen the original file *after* opening the temporary file (because opening the temporary file may have been blocked on a file lock).
Added a section about file locking in the manual.
Added an example glue file for file locking in Linux.