Initial commit: Files from the k-CPP project