Added the u64_t deact_tsc field to the capability header: it's the
time stamp for the deactivation time of the capability entry. Since we
need it for all types of capabilities (even for core-local caps like
threads), it's integrated in the header.

The 64-bit tsc changes the sizes of most types of capabilities. Fixed
many places that assume the size of capability entries.

Todo: a cap id allocation mechanism in the llboot for the low-level
components loaded by llboot.

Possible issue: we have a deact_tsc in each cap entry. However, when
we re-use the cacheline for a different type of capability, we may
need to check all TSCs in the cacheline.
Changed multiple things:

1) added retype table.
2) added thread deactivation implementation.
3) in each capability entries, changed the poly to liveness id. We
don't integrate tsc into cap entries anymore. Instead we always use a
liveness entry to track release time.
4) more deactivation code in progress.
More deactivation code (cap_captbl, cap_pgtbl) added. Going to add
retypetbl_ref/deref logic to act/deact.
Added a couple of things:

1) In retype_tbl implementation, partitioned the retype_tbl for kmem
and user memory as we have separate physical memory regions when
running with Linux.

2) Added more retyping operatings in llboot. Fixed some issues as well.
Changed the low-level booter to use the new API: retype and
mem_activate. Tested and worked.
Fixed captbl_activate for lvl = 1 and captbl_cons.
Implemented and tested captbl_decons.

Fixed the cas usage in retype_tbl.
Got the cap_captbl / _pgtbl deactivation and re-activation working.
Additional tests done: retyping + deactivation. All done in llboot for
now. Quiescence check verified.
Going to change kmem deactivation.
Integrated CAP_MEM_FROZEN and MEM_SCAN flags into the refcnt in
cap_captbl and cap_pgtbl.
Added MEM_FROZEN checks before adding entries to captbl / pgtbl.
Increment and decrement the refcnt of cap of captbl-toplevel and cap
of pgd when activate and deactivate cap_comp (which increments the
epoch, thus no further access to the pgd and captbl would be made).
In progress, does not compile.
Implemented the scanning functions for leaf level captbl/pgtbl.

Testing the new deactivation API. Going to remove the poly in the
liveness table entry.
Almost done. Need to clean the debug info.
Fixed some issues:

1) When activating kernel objects, we activate kmem first, then the
capability. If the cap_activation failed, we need to go back and
release the activated kmem page.

2) When deactivate a pgd, only scan the user space range to make sure
no mapping left.

3) When deactivate a cap_cap, set the ref_cnt to 0 AND keep the frozen
flag to avoid any further operation on it.
Moved llping to tests/. Going to start PPOS benchmark.
Merge branch 'master' of github.com:interwq/Composite

Conflicts:
	src/components/implementation/sched/cos_sched_base.c
	src/components/implementation/tests/micro_llping/ping.c
Now works on the 40-core server.