Towards Automated Readable Proofs of Ruler and Compass Constructions