make: force traversal into PKG's, same as normal modules
cpu: Initial import of stm32f3
board: Initial import of stm32f3discovery
cpu - cortex-m4_common: fixes to thread_arch.c
examples/tests: blacklisted stm32f3discovery
Merge pull request #1456 from haukepetersen/board_stm32f3discovery

board/cpu: Added support for the stm32f3discovery board and stm32f3 cpu
pkg: add USEPKG module "libfixmath"

This PR adds the USEPKG module "libfixmath".
It integrates https://code.google.com/p/libfixmath/ into RIOT, cmp. #1457.
Merge pull request #1460 from Kijewski/issue-1457

pkg: add USEPKG module "libfixmath"
sixlowpan: decrement processing semaphore when discarding
sixlowpan: some additional debugging
Merge pull request #1523 from OlegHahm/sixlowpan_minor

sixlowpan: minor cleanups and debugging
make: provide BOARD, MCU and CPU name as a string

This PR adds the defined `RIOT_BOARD`, `RIOT_CPU` and `RIOT_MCU`.
They each are defined as `BOARD_${BOARD}`, `CPU_${CPU}`, and
`MCU_${CPU}`, resp.

`BOARD_${BOARD}` is defined as the string `"${BOARD}"`, but not in upper
case. Same for the other two.
Merge pull request #1524 from Kijewski/make-board-name-string

make: provide BOARD, MCU and CPU name as a string
core: harmonizes the data type for the process ID

Instead of using differing integer types use kernel_pid_t for process
identifier. This type is introduced in a new header file to avoid
circular dependencies.
ccnl: pass relay_pid as pointer
at86rf231: use radio_packet_length_t
cc110x: use radio_packet_length_t
cc110x_ng: use radio_packet_length_t
cc2420: use radio_packet_length_t
pyterm: do a proper cleanup at SIGINT