changed hot index lock release to use RAII #1035
Merge branch 'bugfixes/tokumx-1.4'