Aladdin: switched to repo on github.
Aladdin: switched to repo on github.

Change-Id: I70805984851c294ee3abe4a507f59548d3a57f0d

TUD-OS/gem5-dtu,TUD-OS/gem5-dtu,TUD-OS/gem5-dtu,TUD-OS/gem5-dtu,TUD-OS/gem5-dtu,TUD-OS/gem5-dtu,TUD-OS/gem5-dtu