One doc fix and one fix for the Graphs package

Hi, here are two things left over from 2012.
1) I changed the doc on Schreyer orders to also include Mike's paper with LaScala.
2) I fixed a bug in the Graphs package and added a test.