Added documentation on how to setup Fedora 20 for development on the STM32F4 Microcontroller