Use xterm.js for log outputs

[anbraten]

closes #718
closes #768
closes #776
solves parts of #721

Fixes

• flickering when adding new log-lines while step is running

[6543]

downside: log line numbers are gone

[anbraten]

downside: log line numbers are gone

and the time on the right. Maybe we could create a xterm.js plugin to get this functionality back in the long term

[6543]

... we could create a xterm.js plugin ...

I think we should do this first :)

[x80486]

I was sniffing on the Xterm.js issue tracker and sort of make sense that this data should be handled outside of the library. I guess a couple of functions will do it as well.

There is an example on the aforementioned issue.

[anbraten]

I added the loglines similar to the suggestion from the xterm issue. Not super happy with their styling, but I think its fine like that for now.

[qwerty287]

Code looks good, but didn't test it.

[6543]

I'm going to test it today

[6543]

https://cloud.obermui.de/s/RZg582XmKG4SN48

the background coloring has some strange relicts
and switching light-/dark-mode do result in unpredictable behavior :/

[6543]

and switching lgitht/dark-mode do result in unpredictable behaviour :/

[anbraten]

Seems to work for me. Maybe browser related I would do a follow-up in that case if that is fine for you.

screencast.mp4

[6543]

great work 🚀 i would say - finally :)