Improved headers

Since Webots 7.2.5, headers contains the Webots version where they have been created.