Rewrite INSTALL
Revise README