Adding the listings files for coq and ott.

Further text for the preparation section.