Fixes and improvements for Linux#25

BjoernAtBosch wants to merge 10 commits into

eclipse-score:maineclipse-score/time:mainfrom

etas-contrib:bjoernatbosch_get_it_runningetas-contrib/score_inc_time:bjoernatbosch_get_it_runningCopy head branch name to clipboard