The dist target now creates an archive based on the version setting. This makes it possible to create an archive identical to the ones github generates once the release is tagged.