Add a `make push` rule to the Makefile