GitLab

Thank you @Explorer09 for the push!
Closes #417.

Kinda runs, but functionality from the original main loop
is still missing. Patience.

This is a work-in-progress, code is currently broken.
(Some actions, and notably, the header, are missing.)

Made the logic more modular, hopefully easier to follow,
and removed repeated code.
Plus, some optimization in RichString code.

Don't end up killing init if process selected to be killed terminates before the user selects a signal. Closes #3606072.

Changes in object model: separate class objects to store vtable. Also, nicer UTF-8 display of big numbers.

Keep panel structure up-to-date as process list changes when headers are updated during the screen manager. Hopefully closes #3444533.

  (thanks to Sean Noonan)
* Meters update in every screen (no longer halting while on Setup, etc.)

  (thanks to Daniel Schuler)

Reduces resulting code size.

disable useless code in release builds such as runtime type-checking on
dynamic data structures and process fields that are not being computed,
faster(?) method for verifying the process owner (still need to ensure
correctness), don't destroy and create process objects for hidden kernel
threads over and over. Phew. I shouldn't be doing all this today, but I
could not resist.