Switch Ctrl+C out for Enter in develop.sh to workaround npm bug

(It traps SIGINT and kills the child shell rather than letting it pass)