A comparison of Hello, world startup times in various languages