Rename dijkstra.pl to dijkstra.pro