[DOC] Added some initial latex documentation.

NOTABLY this defines scope for v1.0.0.
[BSP-ARM] Implemented a cortex-a9 system timer driver.
[INTERFACE] Added SYSTIMER, TIMER, BLOCK, and FILE interfaces.
[API] Added some SystemTimer api implementations, basic high-resolution timestamp.
[HAL] Machine Description, Timers are now using the BT_INTEGRATED_DEVICE mechanism.
Added a kernel level API, for kernel plugin abstraction.
[OS] Added a BT_THREAD_CONFIG structure, for describing process and thread creation attributes.
[API] Added timer and machine description API.
[API] UART and Chardev API now use the Interface macros.
[API] Simplified GPIO API with interface macros.
[API] Simplified the bt_interrupts api using the interface macros.
[KERNEL] Redirect the FreeRTOS heap function to BitThunder's primary heap.
[KERNEL] Implemented a kernel interface layer for FreeRTOS, bt_main() testing them.
[BSP-ARM] Some improvements to the GIC driver.
[KERNEL] Portable layer implemtation for FreeRTOS on ARM. (Cortex-A9 supported at moment).
[BSP-ARM] Some fixes to the ARM gic driver.
Added FreeRTOS portable layer to the build.
[BSP-ZYNQ] Configuration now configures in SDCARD support, and cortex-a9 timer drivers.
[BSP-ZYNQ] Fixes to to GPIO driver.
[BSP-ZYNQ] Updates to zynq timer interface implementation.