Make php dev server run in background