Merge branch 'style' into 'master'

Style

Here is an improvement to the `runner_shift` poor style. I changed the semantic of the array to better reflect what the array actually contains. As a bonus, the formatting script treats it correctly.
Also it should have been a double and not a float.

While at it I also cleaned out the 'do_gsort()' function which is not used and won't be in the future. 



See merge request !177