Updated some defs. in the appendix (mainly fractional chromatic number).