* user/bsp.t, user/conf.t, user/init.t, user/intr.t, user/overview.t,
user/timer.t: Correct default values. Make it clear that confdefs.h
calculates the memory required for you.
* cpu_supplement/arm.t, cpu_supplement/i386.t, cpu_supplement/m68k.t,
cpu_supplement/mips.t, cpu_supplement/powerpc.t, cpu_supplement/sh.t,
cpu_supplement/sparc.t, cpu_supplement/tic4x.t, porting/cpuinit.t,
user/conf.t, user/init.t: Move interrupt_stack_size field from CPU
Table to Configuration Table. Eliminate CPU Table from all ports.
Delete references to CPU Table in all forms.
* user/barrier.t, user/clock.t, user/concepts.t, user/cpuuse.t,
user/init.t, user/intr.t, user/io.t, user/mp.t, user/rtmon.t,
user/sem.t, user/stackchk.t, user/task.t, user/timer.t: Updated the
Ada documentation to reflect the current binding.
* SUPPORT, LICENSE: New files.
* Numerous files touched as part of merging the 4.5 branch
onto the mainline development trunk and ensuring that the
script that cuts snapshots and releases works on the documentation.
