added color option to test runs to get nice colouring of FactCheck output
made it possible extract optimizer so that we can restart it, added example of restarting