Add pic of basic CoqEdit ui and start of basic CoqEdit ui description