Moving some TUM repositories from our old hosting at code.in.tum.de to github