Add basic board support for the DK-TM4C129X Connected Development Kit.  The initial commit is simply the TM4C123G Launchpad with naming changes

Unify sensor debug.  ADX driver was using input debug; LM75 and QENCODE that their own custom debug.  Now all use CONFIG_DEBUG_SENSOR, sndbg()

Freedom-KL25Z: Add board specific code to interface with ADXL345 driver.  From Alan Carvalho de Assis

Add GPIO interrupt capability for the KL architecture. The patch is almost the same as kinetis_pinirq.c, just minor modifications and rename kl_pinirq to kl_gpioirq to make it more generic to developers.  From Alan Carvalho de Assis

Sempahores:  Add logic to clean up after task_delete() or pthread_cancel() if the task happens to be waiting on a semaphore when it is cancelled