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.