Make timeout at startup of karma configurable (new safe default = 5 seconds)