Small formatting changes
Merge branch 'master' of https://github.com/thoppe/Encyclopedia-of-Finite-Graphs
Added invariants is_rational/is_real_spectrum
Merge branch 'master' of https://github.com/thoppe/Encyclopedia-of-Finite-Graphs

Conflicts:
	verification/filtered_lvl1.md