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.