Update Makefile with CI infrastructure changes

The CI scripts do a few hacks to our Makefile so it works better for them.
Bring in those changes, and also cut down the number of packages we install
by omitting build-essential and using the --no-install-recommends flag.
Thanks, I was thinking strip(1).