basic PWM working, added openocd config file for stm32f4 discovery board