Issue #352: additional installation checks
* Check that PHP is installed
* Use curl to download data snapshot if mac, use wget otherwise
* minor style cleanups