Proof boolean facts
Revert "Build Coq 8.4 on Travis CI"

Coq just takes too much time to build.

This reverts commit c8a9d68f4e39f949d78ddc80809d90e8d35eddb4.
Start the Lists chapter of Software Foundations
Warm up with some simple pair lemmas