switch to official reconOS repository

The official repository has had Zynq support for some time, so we don't have to use Christoph's private repository. However, we actually use my fork because I have made a few small improvements to the build scripts.