Build system and syntax updates
* Add a build system component that allows us to run CodeChecker
* Separate the PIT driver code fro the PIC
* Fix some stuff in the GDT driver code
* Small fixes in the kmalloc and mmu code
* Add the dump_table(...) debug function
* Small strdup() fixes, add the HAS_GMALLOC guard macro
* Stop indenting preprocessor directives (clang-format)
* Pin package versions in the Dockerfile
* A bunch of small fixes and syntactic changes
52 files changed,
349 insertions,
197 deletions