Added a bunch of pics and section on CoqEdit