Started integration of stellaris launchpad support

    - example led access
    - sys tick timer integration
Merge branch 'master' into stellaris
Update of platform integration
Update to multiplatform exampe stellaris:

	- platform specific library implementations
	- adoptions to make system
	- updated example
Logging and UART0 support

    - logging support in main example
    - working UART0 TX implementation
    - Extension of GPIO by Port Number, pad enabling, direction setting
      and alternate function selection
Clean up of unused files
Bug fix logging singleton:

  changed logging singleton to be statically instantiated
Added documentation for stellaris launchpad
Bug fixes in build system:

  removed default optimization parameters
  updated stellaris platform build info
  added hwInit function for platform specific init
  added hwInit for lm4f
Regmap infrastructure for lm4f

  Gpio regmaps
  timer regmaps
Drivers for lm4

  GPIO driver
  PWM driver
  uart0 driver
  platform specific configuration for stellaris launchpad
  example makefile bug fix: no-inline
hwInit for at91sam3b
Led: Bug fix and updated example app

    - fixed wrong offset in PWM regmap for lm4f, thanks to Frank
      Engelhardt
    - new led example app to test RGB leds on stellaris
Merge branch 'stellaris'