Docking arrows improved

That releases introduces a few improvements on the docking arrows. In particular, they have been placed so that they don't overlap.
There was a lot of code cleaning too, but I suppose that nobody cares :-)