Updated patch for metamath, containing two fixes:

* Rename source repo checkout to match package name (fixes lint warning), and
* Consolidate pdf under share/doc/<name>-<version> with LICENSE.TXT.