Thesis: decrease line spacing for algorithm environments
Thesis: style EFS algorithm a bit
Thesis: add MFS algorithm pseudocode