Fix broken links

Change-Id: Ic73d43db6a1dc76a4c454c983ada1fd9276f67df
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1450
Reviewed-by: Till Westmann <tillw@apache.org>
8 files changed