Update INSTALL a bit

Now it talks about the bundled Coq.  The extended instructions might be
a bit out of order.
Fix the install target