Add README and INSTALL to appendices