add openocd command in user makefile
more additions to user make file
Merge branch 'master' of https://github.com/jjts/orpsoc-3.1