openocd + some stm32f4 specific scripts