Make update.php file executable

It's simpler to run ./update.php rather than php update.php.

Change-Id: I8ea8e00ac80011d375cbec095ad32239dede7310
Merge "Make update.php file executable"