Split README and INSTALL; build README from man page.