Bug #2548: Set correct flag for pool retrieval
Use std::string for log file name in module Log
Take advantage of delete not acting on null values

The code 'delete 0' does nothing. So you can shorten code
like:

  if (x != 0) {
    delete x
  }

to simply: delete x
Decode RAW data in update wizard
Take advantage of delete not acting on null values

Nebula.h and User.h
proof of concept implementation for external leases

Signed-off-by: Steven Armstrong <steven.armstrong@inf.ethz.ch>