This contains various features/improvements for the kernel that will hopefully be done some day
- Ensure that both heap allocator and page allocator is using locks
- Mark data/bss, rodata and text with different security bits in page table
- See todo list in scheduler.c
- Fil the task struct with more data such as task name, tid, parent thread etc.
- make formatted writer support 64-bit integers
- fix bug in formatted printing with multiple %u:s in a row
- Make log print timestamp in the beginning of every message
- Pick a license