Rename miura to mrep
Merge pull request #18 from unnonouno/mrep

Rename miura to mrep