Moving the CriticAL project from Sourceforge to GitHub.