introduced BookHash table
DB class structure simplification (no statement variables, map instead)
Merge branch 'master' into tags-master
BookHash table used for faster synchronization (we do not recompute SHA-1 hash every time)
Merge branch 'master' into tags-master