Updated the batch script for starting a local HTTP server

The script now tries to start a PHP or Python local HTTP server
and produces an error message if it can't.