Revert "Move from coplex to git"

This reverts commit 922842cdf8bbb5eae1e54101e89ae371b0f1aece.