Add fholgado's version of MiniBufExpl as a submodule. Update the README.md to remind myself how to install a new submodule