Improve error reporting in start-servers.php and fix 3.0 servers#856

Merged

jmikola merged 4 commits intomongodb:masterfrom

jmikola:start-servers

Jun 21, 2018

Commits on Jun 20, 2018

Commits on Jun 21, 2018

Use common failed() function to print timing info and exit
jmikola
committed