Put introductory information for prover features into a README.md file #10
Description
Use information from the feature text of the pl1aa_eTLeanTaP_eqivalence_truth.feature and pl1da_eTLeanTaP_conjunction.feature files to construct the README.md. Simplify the feature text of all the files to refer to the header.