Additional documentation

The INSTALL file contains instructions for building and installing Cone. Assorted useful tidbits, that don't seem to belong anywhere else, are collected and organized in the FAQ.