Rename mk to bootstrap to avoid confusion; rewrite INSTALL and README