Ensure device info is handled despite setTime() awaits

[bobrippling]

This fixes a bug in #64 where, if the time was set, device info would be skipped:

EspruinoAppLoaderCore/js/index.js

Lines 1006 to 1020 in e496c04

	// if the time is obviously wrong, set it up!
	console.log("Current device time is "+new Date(info.currentTime));
	if (info.currentTime < new Date("2000").getTime()) {
	console.log("Time is not set - updating it.");
	return Comms.setTime();
	}
	if (SETTINGS["settime"] && Math.abs(Date.now()-info.currentTime)>2000) {
	console.log("SETTINGS.settime=true and >2 seconds out - updating time");
	return Comms.setTime();
	}
	// Show device info in more page:
	const deviceInfoElem = document.getElementById("more-deviceinfo");
	if (deviceInfoElem) {
	deviceInfoElem.style.display = "inherit";
	let storageRow = "";

[gfwilliams]

Thanks for tracking this down and getting a fix in!

[bobrippling]

My pleasure :)

[atjn]

Good catch thanks :) I think this was a bug before #64 as well.