camltc API changed ... needs options
Merge pull request #50 from Incubaid/tc-LARGE

camltc API changed ... needs options
jenkins: change to camltc.999
CI: Update seeds to camltc-0.6.0
add a log statement when a file is closed
Merge pull request #53 from Incubaid/log-close

add a log statement when a file is closed
Merge remote-tracking branch 'refs/remotes/origin/1.6' into origin-simplify-store
in order to get jenkins/camltc changes so this branch can be tested on cimaster too

Conflicts:
	src/node/local_store.ml
	src/tlog/tlc2.ml