feat(util/thread): add atomic_uchar

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel): add has_local predicate

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(util/name_generator): make sure there is no risk of overflow, name generators will be extensively used in version 0.2

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel): justification objects

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel): remove unnecessary files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>