Record server_version in scale.py
Make compilation work with GCC and with older versions of Boost (hopefully).
Merge branch 'tim_compilation' into tim_scale_test