Updated INSTALL.md with how to statically link libstdc++, and a few other instructions.