DOC: Update Installation guide to mention NetworkX and CVC4; other sundry changes