Add new --no-proxy option to migration script autocompletion.