(#3757) rename AnonymousFilelock to JsonFilelock
This commit simply renames AnonymousFilelock to
JsonFilelock. The behavior hasn't changed at all
yet, so this is a bit of a suspect commit but
I wanted to make sure that the git history
was as clear as possible as to what happened
here.