symfony dev server: configurable port and environment