michaelg/dev: links for ibex-server-common