Add "make push" for easy docker pushing