Replace build.sh script by a Makefile

I never thought I'd one day write a Makefile manually, but make can simplify a lot the build process.

It also allows us to clean the dependencies and shrink them to something manageable.