django tutorial: make migrations vs. migration