added minecraft 1.7.2 to stock_profiles.py

What the title says.

I am aware of the minor problems between MineOS 0.6 and Minecraft 1.7. I don’t see a point in not shipping it as a default though, basic server operations do work.