Bug 573355 - Avoid double refresh after IDE crash

Allow org.eclipse.ui.ide.application to check if workspace crash was
detected, so it can skip (another one) workspace refresh in that case.

Change-Id: I8467f916eccb2f37877c1ff29bd01ecebda694b9
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/180203
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Simeon Andreev <simeon.danailov.andreev@gmail.com>