Implement a man command that also formats the man pages (not just prints them as they are like more)

Lock primitives (spinlock, mutex, semaphore, rwlock) should all have their is_locked() function.

This could be used in debugging assertions to make sure some golden rules are respected all along the kernel (lots of functions are assuming that some datas are already locked etc.).

Biggest beneficiaries are the vaspace_* functions. They assumes current thread and current virtual add