Merge branch 'logging' into 'NIFTy_4'

Logging

See merge request ift/NIFTy!232
3 jobs for NIFTy_4 in 5 minutes and 42 seconds (queued for 2 seconds)