Remove deprecated DevServer.php

Change-Id: Ife4fc885188bab1fc8f8ce2b6762649570dc7667