Rename koebe_embedding to koebe_embedding.pde