Dockerfile improvements

[gmacd]

• Rearrange Dockerfile so that building harvey is last. Since this is likely to change more often, it makes more effective use of layer caching.
• Give repo args separate names.