MIA-2 git now mirrored on GitHub

In order to facilitate coolaboration with people who do not use sourceforge, but github, the master branch of MIA-2 is now mirrored on GitHub.

Since this mirroring is done manually expect some delays in the syncronisation.