Rename BFS-DFS.v to BFS-DFS.c