Revise README, add INSTALL