Rename MappingsProgress module to match filename

Even though we're not relying on autoload here (because these aren't
'real' concerns) it's less confusing to stick to this convention.