Finished work on MMapInterface.v.
I have updated everything now except for the MakeListOrdering module,
which may not actually need to be changed.

I also fixed a build-breaking bug that came up during merge;
sorry about that!
Merge branch 'master' of https://github.com/scuellar/MMap