Added Picat repo.