[macports] moved openocd port to openocd-0.5.0 so one can use the openocd port that is part of the main macports tree, updated ivy-ocaml for newer revision with makefile change to support non-default macports prefix