Mirror of VeraCrypt git repository on Sourceforge