Remove references to run-with-lockfile

Once #112 is closed with the replacement of run-with-lockfile by
the shell script version, remove references to it from the
documentation.
Merge branch 'gh-pages-112-replace-run-with-lockfile' into gh-pages