Add version number.

This is needed to force the CSS to be download again even if it is
cached by the client's browser.