Fixed installation options and added a README and a mli file.