better def for bfs correctness (if longer and less human-readable)
renamed startNode to origin, added goodgraph condition to bfs_correct
Merge branch 'master' of https://github.com/sandra-schumann/CoqGraphSearch