run: support target serial for base-nova

Issue #683
noux: start time measuring with first noux output

Don't account the boottime to the actual compile time - since it varies quite
a lot if somebody else utilize the network with lwip tests for example ;-).
terminal: refresh only if output changed
noux: add verbose config parameter

Explicitly enable verbose output if required.
ldso: be quiet by default