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-memory-statistics
renamed statistics properties related to memory/garbage collection