Adding timing to the deploy script
Merge pull request #1610 from geoadmin/gjn_time_deploy

Adding timing to the deploy script