Add a property to get a lock's lock file

There should be a Lock.lockfile property to return the lock file name.