Fix misnomer in develop.py

A wrong parameter name make migrate option in `server()` function to be shadowed by import