sync store before closing tlog
add failing drop_master_while_maintenance
make sure lease expired event keep forever flowing through the state machine
prevent slave from ignoring duplicate message from master
a bit more info logging
Merge #450 branch 'incubaid-sync-store' into incubaid-1.6

Conflicts:
	src/node/local_store.ml
	src/node/mem_store.ml
Logging more Paxos at info level
Merge branch 'incubaid-1.6' into masterless

Conflicts:
	src/node/mem_store.ml
	src/paxos/slave.ml
	src/system/drop_master.ml
comment from PR
Merge pull request #460 from Incubaid/masterless

Masterless
Enabling non-LWT logging

Code mostly imported from 1.7 branch, specifically rev.
037abb4024f64af8cd86a3d57668283cefd87598, to reach a state similar as to
the one seen in rev. 186bd73659f277947cf2a95fe71bec27e15d27dc.
Logging embedded in statistics
Merge mark-christiaens/logging into 1.6 (using imerge)
Fix compilation
Update `META` and `debian/changelog` for 1.6.12
Merge branch 'incubaid-1.6' into 1.6-for-1.7

Conflicts:
	META
	debian/changelog
	src/node/batched_store.ml
	src/node/collapser.ml
	src/node/dump_store.ml
	src/node/local_store.ml
	src/node/mem_store.ml
	src/node/node_main.ml
	src/node/statistics.ml
	src/node/store.ml
	src/node/sync_backend.ml
	src/paxos/multi_paxos.ml
	src/paxos/multi_paxos_fsm.ml
	src/paxos/multi_paxos_test.ml
	src/paxos/slave.ml
	src/system/drop_master.ml
	src/tlog/tlc2.ml
	src/tools/logger.ml
don't sync a readonly store
Merge pull request #472 from Incubaid/1.6-for-1.7

1.6 for 1.7