Port log from config

Claudio Scafurirequested to merge
port_log_from_config into master

use configuration file for setting port number and log file fix handling of DevFailed excpetions

Merge request reports