misc/build-server: support for the REVISION variable

We will inject it using Jenkins.