refactor(library): remove unnecessary file hott_kernel, HoTT and
standard library have been merged
feat(shell): include build type when printing version
refactor(library): remove dead code
checkpoint

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