Release process

Adds a makefile target to build releases for different target architectures/OSes.

Also adds a script to upload the result as a github release.
Shouldn't we assume that this tag already exists, and that it was created when the version was changed?