GNUmakefile: add 'make version' target