Openocd configuration file for stlink-v2 and changes to psas.mk