A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course