Color prompts, come on.
Merge pull request #6 from pipelang/phs/color-prompts

Color prompts, come on.
apt-get install coq.

This annoyingly brings in all of gtk2 through a required ocaml
transitive dependency.
Extract `doc/virtualization.md`.
Start a latex book.

Arrange for a coq-enabled chapter for the metatheory.
Begin the metatheory.
Have some metatheory experimentation.

This is mostly me learning coq: I need to get this off the laptop
before she blows.
More coq-learning chicken scratch.
Doodle on some coq exercises while I learn to brain.