Switch to .gitlab Makefile
Rather than writing our own Makefile use the common one.
Add Makefile with build, run, and push commands.