Install file

Replacement of #1060. The INSTALL file still needs some work, but this closes off the original PR.