Fixed a bug where XE was interfering with edge-following optimisation
Imported correct version of rooted-2-colouring program
Tidied benchmarks directory
Merge remote-tracking branch 'github/master' into dev