Fix download link, refresh content/

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