Write-ahead log

The MMFiles storage engine was removed. The API methods still exist for compatibility reasons until the next major release, but do not have any effect anymore, including in the RocksDB storage engine.