src/axiom-website/documentation.html add Leslie Lamport quote

Add Leslie Lamport quote to the documentation page.