Initialize JLine terminal asynchronously

[Akirathan]

8496 switched from DumbTerminal to a proper JLine terminal. This adds 80 ms to the startup time.

fast.nps is a profiling snapshot from https://github.com/enso-org/enso/issues/8553#issuecomment-1873678122 (from older revision before https://github.com/enso-org/enso/pull/8496) and t.nps is after #8596.

We can see that there is roughly 80 ms difference in makeTerminalForRepl. Moreover, we can see that in fast.nps, only DumbTerminal is initialized.

Both profiling snapshots are attached in profilings.zip

Let's initialize the JLine terminal asynchronously.

[Akirathan]

Duplicated by #8690

[enso-bot[bot]]

Jaroslav Tulach reports a new STANDUP for yesterday (2024-09-23):

Progress: .

• catching up - parser in multiple threads: https://github.com/enso-org/enso/pull/11147#pullrequestreview-2321090803
• addressing review comments: https://github.com/oracle/graal/pull/8266#discussion_r1770769943
• PR for helidon integrated!: https://github.com/helidon-io/helidon/pull/9271
• verified the helidon fix still works for Enso: https://github.com/enso-org/enso/pull/10783#discussion_r1770787594

• 8688 Delay JLine init: https://github.com/enso-org/enso/pull/11149

• 11090 fix by https://github.com/enso-org/enso/pull/11155

• discussing DuckDB, stream processing, etc: https://discord.com/channels/@me/960509000154247198/1287770796072243252
• Comparing In-Memory and SQLite
• standups & demo meetings
• meeting Dmitry (ydoc substitutions, environment)
• Discussing licensing with Rainer Eschrich It should be finished by 2024-09-24.

Discord

Discord - Group Chat That’s All Fun & Games

Discord is great for playing games and chilling with friends, or even building a worldwide community. Customize your own space to talk, play, and hang out.