BOOKSHELF (stm32f400, f400): add STM32F4xx reference manual
README: add Contiki upstream update, Olimex STM32-E407 board setup
README: describe the FreeRTOS demo (LED and serial console)