tcap updates
Merge pull request #46 from jkaivo/tcap

compilation fixes
Merge branch 'tcaps' of github.com:gparmer/Composite into tcaps
full compilation, first draft.  Next up, fix inv.c
some tcap documentation
Tcaps main operations completed, but NOT tested.

Delegation, transfer, deletion, and splitting.  They are not yet
integrated with user-level scheduler code yet.

TODO:
- Add support into src/components/sched/cos_sched_base.c to the tcaps.
- Add the fountain of time that auto-replenishes the tcap root(s).
- Add proper consumption of time on timer-ticks and thread switches.
- Test tracking of budget/priority/expiration.
- Add delegation and tcap activation into the cos_switch_thread sys-call.
Added the cos_tcap_thd_cntl system call and associated operations.
These enable schedulers to set up a tcap for delegation, and to
activate a tcap on a specific thread (especially useful for interrupt
threads).