Log formatter

Format of the stdout and file logging should be configurable. Time should be logged.