Configured the makefile to use Robin or env DEPLOY_USER for deploying

- if your local username `whoami` is the one you want to use when
deploying deepdive, just `make deploy`.
- if you want to use specific account, e.g. foobar, run:
	`DEPLOY_USER=foobar make deploy`