Added lock extension, for locking when compiling XSB files.
Authored by: dwarren 2017-01-16
Parent: [r8962]
Child: [r8964]