stop mysql on dev server stop; also add restart one-liner