Add profile of Borel building in Sophia

This includes the servers (including the cluster we host at Sophia, I think), which I count proportionally to the number of people in the building with respect to the total number of people at Inria Sophia. Notice that including that consumption almost doubles the consumption of the building.

I have the data to provide profiles for the other buildings in Sophia, if needed.