add REVISION file to the distribution