Only pass executable name from run to build

run allows for other arguments than the executable name i.e. arguments
to pass to the executable when we run it. We need to filter these out
from the extraArgs we pass to build.
Revert "Only pass executable name from run to build"

This fix is incorrect since "--" was already stripped out of extraArgs.

This reverts commit 9092b59a045485c164d1b758601d0422aa18f70f.
'cabal run': don't pass any extra args to build except the exe name.

See the comments on 5a62f4ab40dc8216cfb487be49372db16a85231c.
Merge remote-tracking branch 'upstream/master'
Support non-orphaned `instance Data Version` in GHC≥7.7

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Merge remote-tracking branch 'upstream/master'
minor cleanup
just comments..