Remove variables.less

For a performance improvement, we should remove variables.less to a CSS.

The comments in the file give clear instructions.
Please verify that the resulting values with and without this LESS are the same, and try to keep them as low as possible and explain any difference left.